From 34c460b451eabb71333c1e129505bcaa83dd365b Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sat, 5 Mar 2022 17:21:34 -0800
Subject: [PATCH] fix "dirname: missing operand" bug from setup.sh

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

diff --git a/setup.sh b/setup.sh
index 925d87e83..de048ed60 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 $0)
 export WALLY=$(cd "$WALLY" && pwd)
 echo \$WALLY set to ${WALLY}