From: trevor_hansen Date: Thu, 24 Jun 2010 14:21:37 +0000 (+0000) Subject: Remove bio tests from regressstp. They are all included in regressbio. X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=8be0c473356d025b06bd3537b4afffe2de9c8368;p=francis%2Fstp.git Remove bio tests from regressstp. They are all included in regressbio. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@876 e59a4935-1847-0410-ae03-e826735625c1 --- diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 8149ed8..8812533 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -196,11 +196,8 @@ regresscapi: REGRESS_LOG = `date +%Y-%m-%d`"-regress-c-api.log" regresscapi: baseTest .PHONY: regressstp -regressstp: TO_RUN=scripts/run_tests.pl --td=tests/bio-tests -regressstp: REGRESS_LOG = `date +%Y-%m-%d`"-regress-stp-bio.log" -regressstp: baseTest regressstp: TO_RUN=scripts/run_tests.pl --td=tests/big-test -regressstp: REGRESS_LOG = `date +%Y-%m-%d`"-regress-stp-big-test.log" +regressstp: REGRESS_LOG = `date +%Y-%m-%d`"-regress-stp.log" regressstp: baseTest .PHONY: regresscvcbasic