get_fstar_z3.sh: fix arg check

FStarLang · Jan 8, 2025 · 4501f10 · 4501f10
1 parent 628065a
commit 4501f10
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/.scripts/get_fstar_z3.sh b/.scripts/get_fstar_z3.sh
@@ -90,7 +90,12 @@ full_install_z3() {
   popd
 }
 
-if [ "$1" == "--full" ]; then
+usage() {
+  echo "Usage: get_fstar_z3.sh destination/directory/bin"
+  exit 1
+}
+
+if [ $# -ge 1 ] && [ "$1" == "--full" ]; then
   # Passing --full xyz/ will create a tree like
   #  xyz/z3-4.8.5/bin/z3
   #  xyz/z3-4.13.3/bin/z3
@@ -100,12 +105,12 @@ if [ "$1" == "--full" ]; then
   shift;
 fi
 
-dest_dir="$1"
-if [ -z "$dest_dir" ]; then
-  echo "Usage: get_fstar_z3.sh destination/directory/bin"
-  exit 1
+if [ $# -ne 1 ]; then
+  usage
 fi
 
+dest_dir="$1"
+
 mkdir -p "$dest_dir"
 
 for z3_ver in 4.8.5 4.13.3; do