From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 11 Jun 2014 22:33:37 +0000 (-0400)
Subject: Fix parallel run script.
X-Git-Tag: cvc5-1.0.0~6829^2~6
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c698c4ced6708a2adc422edc9c4e98a84946b4b7;p=cvc5.git

Fix parallel run script.
---

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 *