From c698c4ced6708a2adc422edc9c4e98a84946b4b7 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 11 Jun 2014 18:33:37 -0400 Subject: [PATCH] Fix parallel run script. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c8126ae95..a1d2a27f0 100644 --- 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 * -- 2.30.2