From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 26 Jun 2010 14:59:32 +0000 (+0000)
Subject: clean up two regression log names
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=3d41d0f4136156c95c76ed7daef5a1132d0f36e9;p=francis%2Fstp.git

clean up two regression log names

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@890 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index 8812533..615730f 100644
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -202,12 +202,12 @@ regressstp: baseTest
 
 .PHONY: regresscvcbasic
 regresscvcbasic: TO_RUN=scripts/run_tests.pl --td=tests/sample-tests
-regresscvcbasic: REGRESS_LOG = `date +%Y-%m-%d`"-regress-regresscvcbasic.log"
+regresscvcbasic: REGRESS_LOG = `date +%Y-%m-%d`"-regress-cvcbasic.log"
 regresscvcbasic: baseTest
 
 .PHONY: regresssmtbasic
 regresssmtbasic: TO_RUN=scripts/run_tests.pl --td=tests/sample-smt-tests
-regresssmtbasic: REGRESS_LOG = `date +%Y-%m-%d`"-regress-regresssmtbasic.log"
+regresssmtbasic: REGRESS_LOG = `date +%Y-%m-%d`"-regress-smtbasic.log"
 regresssmtbasic: baseTest