From eb11da50e09f584d132a5d7d5a7ee178116662dc Mon Sep 17 00:00:00 2001
From: Karol Gugala <kgugala@antmicro.com>
Date: Wed, 9 Jan 2019 09:52:44 +0100
Subject: [PATCH] fuzzers: int_loop: do not mask errors

Signed-off-by: Karol Gugala <kgugala@antmicro.com>
---
 fuzzers/int_loop.sh | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

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