1 files changed, 2 insertions, 0 deletions
diff --git a/tools/filter b/tools/filter
index 1c927be..0d27b9b 100755
--- a/tools/filter
+++ b/tools/filter
@@ -19,9 +19,11 @@ while IFS=$'\n' read -r line; do
         j=$((j+1))
     done
 
+    set +e
     IDX=$i ELEM="$line" eval "test $1"
     if [ $? -eq 0 ]; then
         echo "$line"
     fi
+    set -e
     i=$((i+1))
 done