From a36e48bcd90ebc0cbbc089231c18608dc6b1115f Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Tue, 3 Nov 2009 17:17:59 +0000 Subject: [PATCH] minor edit git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@377 e59a4935-1847-0410-ae03-e826735625c1 --- Makefile | 2 +- scripts/Makefile.in | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index ebb724c..6c20198 100644 --- a/Makefile +++ b/Makefile @@ -209,4 +209,4 @@ grind: | tee -a $(GRIND_LOG) @echo "Output is saved in $(GRIND_LOG)" | tee -a $(GRIND_LOG) @echo "*********************************************************" \ - | tee -a $(GRIND_LOG) \ No newline at end of file + | tee -a $(GRIND_LOG) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index ebb724c..6c20198 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -209,4 +209,4 @@ grind: | tee -a $(GRIND_LOG) @echo "Output is saved in $(GRIND_LOG)" | tee -a $(GRIND_LOG) @echo "*********************************************************" \ - | tee -a $(GRIND_LOG) \ No newline at end of file + | tee -a $(GRIND_LOG) -- 2.47.3