diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-11 18:33:37 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-11 18:41:21 -0400 |
| commit | c698c4ced6708a2adc422edc9c4e98a84946b4b7 (patch) | |
| tree | 9d927a164fd129b9c1b3e26c26081191dd9a3b05 /Makefile | |
| parent | 5899aab331ddec4d1c07387e596e1f1bc495ea94 (diff) | |
Fix parallel run script.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 * |