Fix deps directory creation

stanford-centaur · Aug 30, 2024 · a395d1e · a395d1e
1 parent 2f47405
commit a395d1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/setup-bitwuzla.sh b/contrib/setup-bitwuzla.sh
@@ -3,7 +3,7 @@ set -e
 
 BITWUZLA_VERSION=0e81e616af4d4421729884f01928b194c3536c76
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
-DEPS="$( cd "$( dirname "$DIR" )/deps" && pwd )"
+DEPS="$( dirname "$DIR" )/deps"
 
 mkdir -p $DEPS