model: schedule appropriate fence backtracking points

[c11tester.git] / Makefile

diff --git a/Makefile b/Makefile
index ee08b5c420656ad567e4354889f1143aa3a8e9f7..ea73d93d7901e7b78d2a81b8aab1c54924eb68f9 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ malloc.o: malloc.c
 
 PHONY += clean
 clean:
-       rm -f *.o *.so .*.d
+       rm -f *.o *.so .*.d *.pdf *.dot
        $(MAKE) -C $(TESTS_DIR) clean
 
 PHONY += mrclean