fixed the order in which the regressions are run. The C API regressions are run last

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

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index e60e4ad7a26f8e7f91204c815baa40a09b9eca50..62ea200607dd9e20e40e0045d8925fde044c58d5 100644 (file)
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -110,14 +110,14 @@ configclean:
 .PHONY: regressall
 regressall: all
        $(MAKE) check
-       $(MAKE) regresscapi
        $(MAKE) regresscvc
-       $(MAKE) regresssyn
-       $(MAKE) regresssmt 
+       $(MAKE) regresssmt
+       $(MAKE) regresssyn 
        $(MAKE) regressbigarray
        $(MAKE) regressstp
        $(MAKE) regressbio
        $(MAKE) regresscrypto
+       $(MAKE) regresscapi
 
 # Runs the basic tests in tests/
 .PHONY: check