int_loop.sh: bug fixes

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
This commit is contained in:
John McMaster 2018-12-11 17:56:24 -08:00
parent 73da6c30ec
commit 8f4f8a3262
1 changed files with 3 additions and 2 deletions

View File

@ -42,13 +42,14 @@ MAKEFLAGS=${MAKEFLAGS:-}
echo "make: ${MAKE} ${MAKEFLAGS}" echo "make: ${MAKE} ${MAKEFLAGS}"
echo $MAKE echo $MAKE
mkdir -p todo; mkdir -p todo;
i=0
while true; do while true; do
${MAKE} ${MAKEFLAGS} cleanprj; ${MAKE} ${MAKEFLAGS} cleanprj;
${MAKE} ${MAKEFLAGS} build/todo.txt || exit 1; ${MAKE} ${MAKEFLAGS} build/todo.txt || exit 1;
if python3 ${XRAY_DIR}/fuzzers/int_loop_check.py $check_args ; then if python3 ${XRAY_DIR}/fuzzers/int_loop_check.py $check_args ; then
break break
fi fi
if [ -f build/timeout ] ; then if [ -f todo/timeout ] ; then
echo "ERROR: timeout" echo "ERROR: timeout"
exit 1 exit 1
fi fi
@ -56,7 +57,7 @@ while true; do
i=$((i+1)); i=$((i+1));
cp build/todo.txt todo/${i}.txt; cp build/todo.txt todo/${i}.txt;
cp build/todo_all.txt todo/${i}_all.txt; cp build/todo_all.txt todo/${i}_all.txt;
if ${MAKE} ${MAKEFLAGS} N=$i database; then if ${MAKE} ${MAKEFLAGS} ITER=$i database; then
if $iter_pushdb ; then if $iter_pushdb ; then
${MAKE} ${MAKEFLAGS} pushdb ${MAKE} ${MAKEFLAGS} pushdb
fi fi