From e2d2dbad1029494f3459da2918d75ad5f9f36f2c Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sun, 6 Mar 2022 13:12:20 -0800
Subject: [PATCH] generate $WALLY in a way that works for bash and zsh

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

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