From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 28 Jan 2012 03:54:46 +0000 (+0000)
Subject: Add the cloud9 test cases to regressall.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=1b50c4bc31ecb22035304786c5ed24684ae1660a;p=francis%2Fstp.git

Add the cloud9 test cases to regressall.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1532 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index 2344481..95d87b5 100644
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -117,9 +117,9 @@ regressall: all
 	$(MAKE) regresseric
 	$(MAKE) regresshistar
 	$(MAKE) regresscrypto
-	$(MAKE) unit_test
 	$(MAKE) regresscapi
-
+	$(MAKE) regresscloud9
+	$(MAKE) unit_test
 
 # Checks that simplifications are working.
 .PHONY: unit_test