From 8be0c473356d025b06bd3537b4afffe2de9c8368 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 24 Jun 2010 14:21:37 +0000 Subject: [PATCH] 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 --- scripts/Makefile.in | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) 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 -- 2.47.3