diff options
-rw-r--r-- | t/.gitignore | 1 | ||||
-rw-r--r-- | t/Makefile | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/t/.gitignore b/t/.gitignore index 7dcbb232cd..4e731dc1e3 100644 --- a/t/.gitignore +++ b/t/.gitignore @@ -1,2 +1,3 @@ /trash directory* /test-results +/.prove diff --git a/t/Makefile b/t/Makefile index cf5f9e2e1e..819b936870 100644 --- a/t/Makefile +++ b/t/Makefile @@ -30,6 +30,7 @@ clean: $(RM) -r 'trash directory'.* test-results $(RM) t????/cvsroot/CVSROOT/?* $(RM) -r valgrind/bin + $(RM) .prove aggregate-results-and-cleanup: $(T) $(MAKE) aggregate-results |