From 01f60ac163a916233c6fb88b6ce2cd741d9449a2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 21 Oct 2017 00:56:07 +0200 Subject: [PATCH] Make generate.sh regen-friendly Signed-off-by: Clifford Wolf Signed-off-by: Tim 'mithro' Ansell --- fuzzers/010-lutinit/generate.sh | 3 +++ fuzzers/011-ffconfig/Makefile | 5 ++++- fuzzers/011-ffconfig/generate.sh | 3 +++ 3 files changed, 10 insertions(+), 1 deletion(-) diff --git a/fuzzers/010-lutinit/generate.sh b/fuzzers/010-lutinit/generate.sh index 04d134f0..e0bcd7aa 100644 --- a/fuzzers/010-lutinit/generate.sh +++ b/fuzzers/010-lutinit/generate.sh @@ -8,6 +8,9 @@ vivado -mode batch -source ../generate.tcl for i in 0 1 2; do ../../../tools/bitread -F $XRAY_ROI_FRAMES -o design_$i.bits -zy design_$i.bit +done + +for i in 0 1 2; do python3 ../generate.py $i done diff --git a/fuzzers/011-ffconfig/Makefile b/fuzzers/011-ffconfig/Makefile index f4fd93a3..d0dc3e6b 100644 --- a/fuzzers/011-ffconfig/Makefile +++ b/fuzzers/011-ffconfig/Makefile @@ -19,8 +19,11 @@ $(SPECIMENS_OK): bash generate.sh $(subst /OK,,$@) touch $@ +regen: + set -ex; for d in $(SPECIMENS); do cd $$d; for i in 0 1 2 3 4 5 6 7 8 9; do python3 ../generate.py $$i; done; cd ..; done + clean: rm -rf specimen_[0-9][0-9][0-9]/ seg_clbll.segbits seg_clblm.segbits -.PHONY: database pushdb clean +.PHONY: database pushdb regen clean diff --git a/fuzzers/011-ffconfig/generate.sh b/fuzzers/011-ffconfig/generate.sh index 877bd0c4..ea220557 100644 --- a/fuzzers/011-ffconfig/generate.sh +++ b/fuzzers/011-ffconfig/generate.sh @@ -8,6 +8,9 @@ vivado -mode batch -source ../generate.tcl for i in {0..9}; do ../../../tools/bitread -F $XRAY_ROI_FRAMES -o design_$i.bits -zy design_$i.bit +done + +for i in {0..9}; do python3 ../generate.py $i done