Throw error if other options are given with prebuilt-binary

practical-scheme · Jul 20, 2024 · 8180b79 · 8180b79
1 parent 63fc548
commit 8180b79
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 -n $do_test -o -n $configure_opts ]; then
+        echo "If prebuilt-binary is true, no ther option should be given."
+        exit 1
+    fi
+
     platform=`uname -s`
     case "$platform" in
         Linux)