From ea4766f44b11b0feca8c32f2d44d9dd5a274bf93 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Wed, 24 May 2023 14:47:13 +0200
Subject: run benchmarks with timeout of 30 minutes per configuration

---
 Microbenchmarks/STREAM/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Microbenchmarks')

diff --git a/Microbenchmarks/STREAM/run.sh b/Microbenchmarks/STREAM/run.sh
index 887d960..94b759b 100755
--- a/Microbenchmarks/STREAM/run.sh
+++ b/Microbenchmarks/STREAM/run.sh
@@ -21,7 +21,7 @@ for nr_dpus in 1 2 4 8 16 32 64 128 256 512; do
 					echo
 					if make -B MEM=${mem} OP=${op} NR_DPUS=${nr_dpus} NR_TASKLETS=${nr_tasklets} BL=10 T=${dt} UNROLL=1 \
 						|| make -B MEM=${mem} OP=${op} NR_DPUS=${nr_dpus} NR_TASKLETS=${nr_tasklets} BL=10 T=${dt} UNROLL=0; then
-						bin/host_code -w 0 -e 20 -i 2097152
+						timeout -k 1m 30m bin/host_code -w 0 -e 20 -i 2097152 || true
 					fi
 				done
 			done
-- 
cgit v1.2.3