From 6b869a2bbff4fc1a758f6e492112ac0fd881db34 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Tue, 27 Apr 2010 05:18:07 +0000 Subject: [PATCH] Fix regressbio. I missed an 's' in its path git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@723 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 803e333..e60e4ad 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -146,7 +146,7 @@ regresscvc: REGRESS_LOG=`date +%Y-%m-%d`"-regress-cvc.log" regresscvc: baseTest .PHONY: regressbio -regressbio: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)bio-test/ +regressbio: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)bio-tests/ regressbio: REGRESS_LOG=`date +%Y-%m-%d`"-regress-bio.log" regressbio: baseTest -- 2.47.3