Fix parallel run script.

diff --git a/Makefile b/Makefile
index c8126ae9538f76c75f2e377388dbfe7a9cb3f04e..a1d2a27f0bed2de8d7573d0ba91b486d34029790 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -118,7 +118,7 @@ submission-parallel:
        mkdir -p cvc4-parallel-smtcomp-$(YEAR)/bin
        cp -p builds/bin/pcvc4 cvc4-parallel-smtcomp-$(YEAR)/bin/pcvc4
        ( echo '#!/bin/sh'; \
-         echo 'exec ./pcvc4 --threads 2 -L smt2 --no-checking --no-interactive' ) > cvc4-parallel-smtcomp-$(YEAR)/bin/starexec_run_default
+         echo 'exec ./pcvc4 --threads 2 -L smt2 --no-checking --no-interactive "$@"' ) > cvc4-parallel-smtcomp-$(YEAR)/bin/starexec_run_default
        chmod 755 cvc4-parallel-smtcomp-$(YEAR)/bin/starexec_run_default
        echo "CVC4 for SMT_COMP parallel track `builds/bin/cvc4 --version | head -1 | sed 's,.*version ,,;s,-,_,g;s,[^a-zA-Z0-9. _],,g'`" > cvc4-parallel-smtcomp-$(YEAR)/starexec_description.txt
        cd cvc4-parallel-smtcomp-$(YEAR) && zip -r ../cvc4-parallel-smtcomp-$(YEAR).zip *