Add bash prefix to expand * for nightly

epfl-lara · Dec 1, 2020 · 6eb6c7c · 6eb6c7c
1 parent a4b7a55
commit 6eb6c7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.larabot.conf b/.larabot.conf
@@ -11,7 +11,7 @@ nightly {
     "bash bin/external-tests.sh"
     "sbt -batch scripted"
     "bash bin/build-slc-lib.sh"
-    "frontends/scalac/target/universal/stage/bin/stainless-scalac --coq frontends/benchmarks/coq/*.scala"
+    "bash frontends/scalac/target/universal/stage/bin/stainless-scalac --coq frontends/benchmarks/coq/*.scala"
   ]
 }