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 8149ed8fe13893cb08c5794844f5a5e79b99b6d2..8812533de35312a9d9f6abc517ef674cdfd7344e 100644 (file)
--- 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