One last(?) fix for build script for smtcomp uploads.

diff --git a/Makefile b/Makefile
index 0fb2be3b1c47b89a61f82d3c49503c3823961c4c..473bd84c3b5e512c30e57640f30faaaaf4af78ea 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -66,7 +66,7 @@ submission:
        cp -p cvc4-smtcomp-application-$(YEAR)/bin/cvc4 cvc4-smtcomp-$(YEAR)/bin/cvc4-application
        cp -p cvc4-smtcomp-application-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_application
        cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/pcvc4 cvc4-smtcomp-$(YEAR)/bin/pcvc4
-       cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_parallel
+       #cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_parallel
        cat cvc4-smtcomp-main-$(YEAR)/starexec_description.txt \
            cvc4-smtcomp-application-$(YEAR)/starexec_description.txt \
            cvc4-smtcomp-parallel-$(YEAR)/starexec_description.txt \