From a9a8a0a40dad5857f21a05ddc5001571ec23f35f Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Thu, 10 Oct 2024 19:40:49 +0200 Subject: [PATCH] Increase timeout for SPEC benchmarks --- fpga/run-node.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 &