From 77933f7212259623d1c67a9da5340f63367c01d2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 4 Jan 2018 16:31:31 +0100 Subject: [PATCH] Add fuzzers top-level "make clean" Signed-off-by: Clifford Wolf --- fuzzers/005-tilegrid/generate.sh | 0 fuzzers/070-tileconn/generate.sh | 0 fuzzers/071-ppips/generate.sh | 0 fuzzers/Makefile | 2 ++ 4 files changed, 2 insertions(+) mode change 100755 => 100644 fuzzers/005-tilegrid/generate.sh mode change 100755 => 100644 fuzzers/070-tileconn/generate.sh mode change 100755 => 100644 fuzzers/071-ppips/generate.sh diff --git a/fuzzers/005-tilegrid/generate.sh b/fuzzers/005-tilegrid/generate.sh old mode 100755 new mode 100644 diff --git a/fuzzers/070-tileconn/generate.sh b/fuzzers/070-tileconn/generate.sh old mode 100755 new mode 100644 diff --git a/fuzzers/071-ppips/generate.sh b/fuzzers/071-ppips/generate.sh old mode 100755 new mode 100644 diff --git a/fuzzers/Makefile b/fuzzers/Makefile index 8ce11142..48e0ad0a 100644 --- a/fuzzers/Makefile +++ b/fuzzers/Makefile @@ -1,5 +1,7 @@ define fuzzer all:: $(1)/run.ok +clean:: + $(MAKE) -C $(1) clean $(1)/run.ok: $(addsuffix /run.ok,$(2)) $(MAKE) -C $(1) run endef