diff --git a/fuzzers/int_loop.sh b/fuzzers/int_loop.sh index ed78d857..bb757348 100755 --- a/fuzzers/int_loop.sh +++ b/fuzzers/int_loop.sh @@ -10,7 +10,6 @@ usage() { } check_args= -iter_pushdb=false end_pushdb=true while [[ $# -gt 0 ]]; do case "$1" in @@ -19,11 +18,6 @@ while [[ $# -gt 0 ]]; do shift shift ;; - --iter-pushdb) - iter_pushdb=true - end_pushdb=false - shift - ;; -h|--help) usage exit 0 @@ -39,7 +33,6 @@ done # Quick solves are sloppy # Never push them in as they may be under solved if [ "$QUICK" = "Y" ] ; then - iter_pushdb=false end_pushdb=false fi @@ -58,11 +51,7 @@ while true; do exit 1 fi - if ${MAKE} ITER=$i database; then - if $iter_pushdb ; then - ${MAKE} pushdb - fi - fi; + ${MAKE} ITER=$i database if [ "$QUICK" = "Y" ] ; then break; fi