diff --git a/fuzzers/int_loop.mk b/fuzzers/int_loop.mk index 63308e10..76190a13 100644 --- a/fuzzers/int_loop.mk +++ b/fuzzers/int_loop.mk @@ -37,7 +37,7 @@ build/todo.txt: build/pips_int_l.txt maketodo.py # XXX: conider moving to script run: $(MAKE) clean - XRAY_DIR=${XRAY_DIR} MAKE="$(MAKE)" MAKEFLAGS="$(MAKEFLAGS)" QUICK=$(QUICK) $(XRAY_DIR)/fuzzers/int_loop.sh --check-args "$(CHECK_ARGS)" --pushdb + XRAY_DIR=${XRAY_DIR} MAKE="$(MAKE)" MAKEFLAGS="$(MAKEFLAGS)" QUICK=$(QUICK) $(XRAY_DIR)/fuzzers/int_loop.sh --check-args "$(CHECK_ARGS)" --iter-pushdb touch run.ok clean: diff --git a/fuzzers/int_loop.sh b/fuzzers/int_loop.sh index b20b17bc..a26f324e 100755 --- a/fuzzers/int_loop.sh +++ b/fuzzers/int_loop.sh @@ -6,11 +6,12 @@ usage() { echo "--check-args int_loop_check.py args" # intpips ingests all segbits files at once and does a push at the end # other loopers do a push every pass - echo "--pushdb make pushdb after successful make database" + echo "--iter-pushdb make pushdb after successful make database as opposed to end" } check_args= -pushdb=false +iter_pushdb=false +end_pushdb=true while [[ $# -gt 0 ]]; do case "$1" in --check-args) @@ -18,8 +19,9 @@ while [[ $# -gt 0 ]]; do shift shift ;; - --pushdb) - pushdb=true + --iter-pushdb) + iter_pushdb=true + end_pushdb=false shift ;; -h|--help) @@ -55,13 +57,16 @@ while true; do cp build/todo.txt todo/${i}.txt; cp build/todo_all.txt todo/${i}_all.txt; if ${MAKE} ${MAKEFLAGS} N=$i database; then - if $pushdb ; then - ${MAKE} ${MAKEFLAGS} pushdb; + if $iter_pushdb ; then + ${MAKE} ${MAKEFLAGS} pushdb fi fi; if [ "$QUICK" = "Y" ] ; then break; fi done; +if $end_pushdb ; then + ${MAKE} ${MAKEFLAGS} pushdb +fi exit 0