From ff19bdc9423f28b633d2db54872d068a24c5cafb Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 26 Apr 2010 04:59:42 +0000 Subject: [PATCH] * Make regressall depend on "all". If any changes have occured to STP's source code before you test, there will be a rebuilt. This prevents the problem of testing an old version of STP. * 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 --- scripts/Makefile.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 940625a..9e51b25 100644 --- 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 -- 2.47.3