diff --git a/fuzzers/070-tileconn/Makefile b/fuzzers/070-tileconn/Makefile index 56f10429..40eec548 100644 --- a/fuzzers/070-tileconn/Makefile +++ b/fuzzers/070-tileconn/Makefile @@ -13,8 +13,11 @@ $(SPECIMENS_OK): bash generate.sh $(subst /OK,,$@) touch $@ +run: + +set -ex; make clean; make; make pushdb + clean: rm -rf specimen_[0-9][0-9][0-9]/ tileconn.json -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/071-ppips/Makefile b/fuzzers/071-ppips/Makefile index 9a1eb352..a0064299 100644 --- a/fuzzers/071-ppips/Makefile +++ b/fuzzers/071-ppips/Makefile @@ -23,8 +23,11 @@ $(SPECIMENS_OK): bash generate.sh $(subst /OK,,$@) touch $@ +run: + +set -ex; make clean; make; make pushdb + clean: rm -rf specimen_[0-9][0-9][0-9]/ ppips_clbl[ml]_[lr].txt ppips_int_[lr].txt -.PHONY: database pushdb clean +.PHONY: database pushdb run clean