typo in script

epfl-lara · Sep 6, 2024 · cc725c4 · cc725c4
1 parent cf91c0f
commit cc725c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run-one-test.sh b/run-one-test.sh
@@ -23,7 +23,7 @@ function run_tests {
     echo "$ cat ./verify.sh"
     cat "./verify.sh"
     echo ""
-    bash "./verify.sh --compact"
+    bash "./verify.sh" "--compact"
     status=$?
     cd -
   else