Merge pull request #228 from mcmasterg/bram_run

bram: make run targets
2018-11-06 15:02:08 -08:00 · 2018-11-06 15:02:08 -08:00 · b5d691c239
parent eddf249df1 640aee90b9
commit b5d691c239
2 changed files with 12 additions and 0 deletions
--- 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

--- 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