Make it an error if other opts are given with prebuilt-binary

practical-scheme · Jul 20, 2024 · 4aa2fbb · 4aa2fbb
1 parent 63fc548
commit 4aa2fbb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/download-and-install-gauche.sh b/download-and-install-gauche.sh
@@ -39,6 +39,11 @@ if [ ! -z "$configure_opts" ]; then
 fi
 
 if [ "$binary" = 'true' ]; then
+    if [ "$version" != 'latest' -o "$do_test" != 'false' -o -n "$configure_opts" ]; then
+        echo "If prebuilt-binary is true, no other option should be given."
+        exit 1
+    fi
+
     platform=`uname -s`
     case "$platform" in
         Linux)