From 64d4cad2889c179f477271a25857271a6932c035 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Sun, 6 Mar 2022 13:39:53 +0000
Subject: [PATCH] Restored setup.sh to use .  Working for David.  Not sure what
 is happening for Ben - are you on Bash?

---
 setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.sh b/setup.sh
index de048ed60..925d87e83 100755
--- a/setup.sh
+++ b/setup.sh
@@ -7,7 +7,7 @@
 echo "Executing Wally setup.sh"
 
 # Path to Wally repository
-WALLY=$(dirname $0)
+WALLY=$(dirname ${BASH_SOURCE})
 export WALLY=$(cd "$WALLY" && pwd)
 echo \$WALLY set to ${WALLY}