From 112a151a577d05ede080e5f75d5bae2c6ace5dde Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 6 Jun 2014 17:36:16 -0400
Subject: [PATCH] Fix submission script (again).

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ac0433103..f5d379d6b 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
2.30.2