diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 491c59a..fc92e0e 100644 --- a/test/Makefile +++ b/test/Makefile @@ -31,7 +31,7 @@ mergepatch: clean: mrproper: - rm -rf rep?/.syrep* + $(SYREP) -v --cleanup-level=3 --cleanup rep1 rep2 .PHONY: all merge clean mrproper mergepatch |