From ed5d1b07e54c5834bbcad9c516f71b4bac3bea1f Mon Sep 17 00:00:00 2001
From: John McMaster <johndmcmaster@gmail.com>
Date: Tue, 11 Dec 2018 15:12:21 -0800
Subject: [PATCH] int_loop: check for timeout

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
---
 fuzzers/int_loop.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/fuzzers/int_loop.sh b/fuzzers/int_loop.sh
index 9c968b3a..d62c0394 100755
--- a/fuzzers/int_loop.sh
+++ b/fuzzers/int_loop.sh
@@ -38,6 +38,10 @@ while true; do
     if python3 ${XRAY_DIR}/fuzzers/int_loop_check.py $check_args ; then
         break
     fi
+    if [ -f build/timeout ] ; then
+        echo "ERROR: timeout"
+        exit 1
+    fi
 
     i=$((i+1));
     cp build/todo.txt todo/${i}.txt;