Make log file removal uniform and specific

Author: TGWDB

regression/acceleration/Makefile

@@ -28,6 +28,6 @@ show:
 	done;
 
 clean:
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log
 	find . -name '*.gb' -execdir $(RM) '{}' \;
 	find . -name '*.out' -execdir $(RM) '{}' \;

regression/cbmc/Makefile

@@ -30,4 +30,4 @@ show:
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.smt2' -execdir $(RM) '{}' \;
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log tests-paths-lifo.log tests-cprover-smt2.log

regression/goto-analyzer-simplify/Makefile

@@ -23,4 +23,4 @@ show:
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log

regression/goto-cc-goto-analyzer/Makefile

@@ -28,4 +28,4 @@ show:
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log

regression/goto-cc-multi-file/Makefile

@@ -28,4 +28,4 @@ show:
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log

regression/goto-cc-regression-gh-issue-5380/Makefile

@@ -27,4 +27,4 @@ show:
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log

regression/goto-instrument-typedef/Makefile

@@ -27,4 +27,4 @@ show:
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log

regression/goto-ld/Makefile

@@ -30,4 +30,4 @@ clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
 	find . -name '*.goto-cc-saved' -execdir $(RM) '{}' \;
-	find . -name '*.log' -execdir $(RM) '{}' \;
+	$(RM) tests.log