From 4173938a13dfeb6491539214d38701185e1ea1d5 Mon Sep 17 00:00:00 2001 From: ForrestSu Date: Thu, 2 Jan 2020 06:04:01 +0800 Subject: [PATCH] opti: makefile add clean (#924) --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index dfd822c..3a7232e 100644 --- a/Makefile +++ b/Makefile @@ -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