diff options
Diffstat (limited to 'unit-tests')
| -rw-r--r-- | unit-tests/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/unit-tests/Makefile b/unit-tests/Makefile index 0d4bdc1..d8e9be0 100644 --- a/unit-tests/Makefile +++ b/unit-tests/Makefile @@ -39,5 +39,9 @@ logs: $(OBJ) $(COQC) $(COQDEBUG) $(COQFLAGS) $* -clean: - rm -rf *~ $(ZCHAFFLOG) $(VERITLOG) *.vo *.glob +clean: cleanvo + rm -rf *~ $(ZCHAFFLOG) $(VERITLOG) + + +cleanvo: + rm -rf *~ *.vo *.glob |