Fix deps directory creation (stanford-centaur#354)

CyanoKobalamyne · Aug 31, 2024 · 1f708c2 · 1f708c2
1 parent 2f47405
commit 1f708c2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/contrib/setup-bitwuzla.sh b/contrib/setup-bitwuzla.sh
@@ -2,8 +2,8 @@
 set -e
 
 BITWUZLA_VERSION=0e81e616af4d4421729884f01928b194c3536c76
-DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
-DEPS="$( cd "$( dirname "$DIR" )/deps" && pwd )"
+DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
+DEPS="$(dirname "$DIR")/deps"
 
 mkdir -p $DEPS