From 1b50c4bc31ecb22035304786c5ed24684ae1660a Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 28 Jan 2012 03:54:46 +0000
Subject: [PATCH] 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
---
 scripts/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.47.3