mirror of https://github.com/openXC7/prjxray.git
fuzzers: int_loop: do not mask errors
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
This commit is contained in:
parent
a9c2af5b9d
commit
eb11da50e0
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue