diff --git a/bin/dev/aeneas b/bin/dev/aeneas index bac70cb2e..9979a0010 100755 --- a/bin/dev/aeneas +++ b/bin/dev/aeneas @@ -1,10 +1,10 @@ #!/bin/bash -BIN=$(builtin cd $(dirname ${BASH_SOURCE[0]})/.. && builtin pwd) +BIN=$(builtin cd $(dirname ${BASH_SOURCE[0]})/.. >/dev/null && builtin pwd) JAR=$BIN/jar JAR_LINK=$BIN/Aeneas.jar V3C_LINK=$BIN/v3c -VIRGIL_LOC=${VIRGIL_LOC:=$(builtin cd $BIN/.. && builtin pwd)} +VIRGIL_LOC=${VIRGIL_LOC:=$(builtin cd $BIN/.. >/dev/null && builtin pwd)} AENEAS_SYS=${AENEAS_SYS:=${VIRGIL_LOC}/rt/darwin/*.v3} AENEAS_LOC=${AENEAS_LOC:=${VIRGIL_LOC}/aeneas/src} AENEAS_JVM_TUNING=${AENEAS_JVM_TUNING:="-client -Xms900m -Xmx900m -XX:+UseSerialGC"}