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 8812533de35312a9d9f6abc517ef674cdfd7344e..615730f0e1f858c636d74e6043b9cb4d51e49aa9 100644 (file)
--- 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