diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-06 17:36:16 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-06 17:36:16 -0400 |
| commit | 112a151a577d05ede080e5f75d5bae2c6ace5dde (patch) | |
| tree | c330486433091edd6165e8816ef50888d3910ec7 /Makefile | |
| parent | 6ec8f46e9a7315057ac8fb5c58a6b44cf5a5159e (diff) | |
Fix submission script (again).
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -60,7 +60,7 @@ submission submission-main: $(MAKE) check #$(MAKE) -C test/regress/regress1 check # main track - mkdir -p cvc4-smtcomp-$(YEAR) + mkdir -p cvc4-smtcomp-$(YEAR)/bin cp -p builds/bin/cvc4 cvc4-smtcomp-$(YEAR)/bin/cvc4 cp contrib/run-script-smtcomp2014 cvc4-smtcomp-$(YEAR)/bin/starexec_run_default chmod 755 cvc4-smtcomp-$(YEAR)/bin/starexec_run_default |