One more success case

practical-scheme · Jul 20, 2024 · 0e38912 · 0e38912
1 parent 24456b0
commit 0e38912
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/download-and-install-gauche.sh b/download-and-install-gauche.sh
@@ -39,7 +39,7 @@ if [ ! -z "$configure_opts" ]; then
 fi
 
 if [ "$binary" = 'true' ]; then
-    if [ "$version" != 'latest' -o -n "$do_test" -o -n "$configure_opts" ]; 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