* Make regressall depend on "all". If any changes have occured to STP's source code...

* Fix the regressstp target. It wasn't outputting to the log file.

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

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index 940625aad0e51bb95cd1e78348e178fbb53194f4..9e51b250b314ed310cacd869937940688c94798b 100644 (file)
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -108,7 +108,7 @@ configclean:
        rm -rf scripts/config.info
 
 .PHONY: regressall
-regressall:      
+regressall: all
        $(MAKE) check
        $(MAKE) regresscapi
        $(MAKE) regresscvc
@@ -164,8 +164,8 @@ regresscapi: REGRESS_LOG = `date +%Y-%m-%d`"-regress-c-api.log"
 regresscapi: baseTest
 
 .PHONY: regressstp
-regressstp: TO_RUN=scripts/run_stp_tests.pl 2>&1
-regressstp: STP_LOG = `date +%Y-%m-%d`"-regress-stp-api.log"
+regressstp: TO_RUN=scripts/run_stp_tests.pl
+regressstp: REGRESS_LOG = `date +%Y-%m-%d`"-regress-stp.log"
 regressstp: baseTest
 
 .PHONY: regresscvcbasic