diff --git a/fpga/run-node.sh b/fpga/run-node.sh index 05ba16d..13edf0c 100755 --- a/fpga/run-node.sh +++ b/fpga/run-node.sh @@ -25,8 +25,8 @@ set -x #timeout_silent=$((3 * 60)) # Stop if 3 min without output # Timeouts for SPEC benchmarks -timeout=$((6 * 60 * 60)) # Always stop after 6 h -timeout_silent=$((2 * 60 * 60)) # Stop if 2 h without output (some benchmarks take 1.6h) +timeout=$((12 * 60 * 60)) # Always stop after 12 h +timeout_silent=$((4 * 60 * 60)) # Stop if 4 h without output (some benchmarks take 1.6h) # Set dead switch sleep $timeout && killall picocom &