diff --git a/.gitignore b/.gitignore index bb020a56b9e..bbe21138d4b 100644 --- a/.gitignore +++ b/.gitignore @@ -56,6 +56,8 @@ src/cpp/cprover_library.inc # regression/test files *.out regression/**/tests.log +regression/**/tests-*.log +regression/**/*.goto-cc-saved regression/**/*.gb regression/**/*.smt2 jbmc/regression/**/tests.log diff --git a/regression/ansi-c/Makefile b/regression/ansi-c/Makefile index 4a4c2203e7d..124e8cb4545 100644 --- a/regression/ansi-c/Makefile +++ b/regression/ansi-c/Makefile @@ -31,4 +31,4 @@ show: clean: find -name '*.out' -execdir $(RM) '{}' \; find -name '*.gb' -execdir $(RM) '{}' \; - $(RM) tests.log + $(RM) tests.log tests-c++-front-end.log diff --git a/regression/memory-analyzer/Makefile b/regression/memory-analyzer/Makefile index 924cb276778..54277137c6d 100644 --- a/regression/memory-analyzer/Makefile +++ b/regression/memory-analyzer/Makefile @@ -4,6 +4,7 @@ GOTO_GCC_EXE=../../../src/goto-cc/goto-gcc MEMORY_ANALYZER_EXE=../../../src/memory-analyzer/memory-analyzer clean: + find -name '*.gb' -execdir $(RM) '{}' \; find -name '*.exe' -execdir $(RM) '{}' \; find -name '*.out' -execdir $(RM) '{}' \; $(RM) tests.log