Experiment

practical-scheme · Jul 20, 2024 · 6049828 · 6049828
1 parent 80a02ae
commit 6049828
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' ]; then
         echo "If prebuilt-binary is true, no ther option should be given."
         exit 1
     fi