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 2344481b5a279848c23b1812cae9e9321b6d09bc..95d87b5aaf95680afcc009c034c982a4a3669875 100644 (file)
--- 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