diff --git a/fuzzers/025-bram-config/Makefile b/fuzzers/025-bram-config/Makefile index 6f0526aa..01b733c4 100644 --- a/fuzzers/025-bram-config/Makefile +++ b/fuzzers/025-bram-config/Makefile @@ -17,6 +17,12 @@ $(SPECIMENS_OK): build bash generate.sh $(subst /OK,,$@) touch $@ +run: + $(MAKE) clean + $(MAKE) database + $(MAKE) pushdb + touch run.ok + clean: rm -rf build diff --git a/fuzzers/026-bram-data/Makefile b/fuzzers/026-bram-data/Makefile index a44cb6de..1b3386da 100644 --- a/fuzzers/026-bram-data/Makefile +++ b/fuzzers/026-bram-data/Makefile @@ -16,6 +16,12 @@ $(SPECIMENS_OK): build bash generate.sh $(subst /OK,,$@) touch $@ +run: + $(MAKE) clean + $(MAKE) database + $(MAKE) pushdb + touch run.ok + clean: rm -rf build