int_loop: move into .sh for easier editing

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
This commit is contained in:
John McMaster 2018-12-11 12:24:46 -08:00
parent 9f0067373b
commit 26be7408f7
2 changed files with 26 additions and 20 deletions

View File

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

24
fuzzers/int_loop.sh Executable file
View File

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