Small fix to the aeneas script to increase robustness (#297)

titzer · Nov 18, 2024 · d8d95a1 · d8d95a1
1 parent 3830aee
commit d8d95a1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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"}