From d8d95a1d6ea8094d4a3855e642ea0d106161698f Mon Sep 17 00:00:00 2001
From: Eliot Moss <moss@cs.umass.edu>
Date: Mon, 18 Nov 2024 09:43:00 -0500
Subject: [PATCH] Small fix to the aeneas script to increase robustness (#297)

---
 bin/dev/aeneas | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"}