opti: makefile add clean (#924)

2020-01-01 23:04:01 +01:00
parent 02b2af5f24
commit 4173938a13
1 changed files with 5 additions and 2 deletions
@@ -33,5 +33,8 @@ examples:

 all:
 	make examples
-	cd fuzzing && make && rm -f *.o
-	cd benchmarks && make && rm -f *.o
+	make -C fuzzing
+	make -C benchmarks
+clean:
+	rm -rf $(EXAMPLE_FILES) $(THREADED_EXAMPLE_FILES)
+	rm -rf fuzzing/*.o benchmarks/*.o