From 26be7408f79be7207ba198f1c9f640968ab7859d Mon Sep 17 00:00:00 2001 From: John McMaster Date: Tue, 11 Dec 2018 12:24:46 -0800 Subject: [PATCH] int_loop: move into .sh for easier editing Signed-off-by: John McMaster --- fuzzers/int_loop.mk | 22 ++-------------------- fuzzers/int_loop.sh | 24 ++++++++++++++++++++++++ 2 files changed, 26 insertions(+), 20 deletions(-) create mode 100755 fuzzers/int_loop.sh diff --git a/fuzzers/int_loop.mk b/fuzzers/int_loop.mk index f4819201..e7891582 100644 --- a/fuzzers/int_loop.mk +++ b/fuzzers/int_loop.mk @@ -33,26 +33,8 @@ build/todo.txt: build/pips_int_l.txt maketodo.py # XXX: conider moving to script run: - \ - set -ex; \ - make clean; \ - mkdir -p todo; \ - while \ - make cleanprj; \ - make build/todo.txt || exit 1; \ - test -s build/todo.txt; \ - do \ - i=$$((i+1)); \ - cp build/todo.txt todo/$${i}.txt; \ - cp build/todo_all.txt todo/$${i}_all.txt; \ - if make database; then \ - make pushdb; \ - fi; \ - if [ "$(QUICK)" = "Y" ] ; then \ - break; \ - fi \ - done; \ - true + $(MAKE) clean + MAKE="$(MAKE)" MAKEFLAGS="$(MAKEFLAGS)" QUICK=$(QUICK) $(FUZDIR)/../int_loop.sh touch run.ok clean: diff --git a/fuzzers/int_loop.sh b/fuzzers/int_loop.sh new file mode 100755 index 00000000..f6f620a5 --- /dev/null +++ b/fuzzers/int_loop.sh @@ -0,0 +1,24 @@ +#!/usr/bin/env bash +set -ex +MAKE=${MAKE:-make} +MAKEFLAGS=${MAKEFLAGS:-} +echo "make: ${MAKE} ${MAKEFLAGS}" +echo $MAKE +mkdir -p todo; +while + ${MAKE} ${MAKEFLAGS} cleanprj; + ${MAKE} ${MAKEFLAGS} build/todo.txt || exit 1; + test -s build/todo.txt; +do + i=$((i+1)); + cp build/todo.txt todo/${i}.txt; + cp build/todo_all.txt todo/${i}_all.txt; + if ${MAKE} ${MAKEFLAGS} database; then + ${MAKE} ${MAKEFLAGS} pushdb; + fi; + if [ "$QUICK" = "Y" ] ; then + break; + fi +done; +exit 0 +