From 59f21792088be8d2e5f6dc3782726e827d1c9f60 Mon Sep 17 00:00:00 2001 From: Alex Bilger Date: Fri, 29 Sep 2023 10:18:20 +0200 Subject: [PATCH] More details on the timemout (#24) --- scripts/scene-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/scene-tests.sh b/scripts/scene-tests.sh index 4430d0e..4d1719d 100644 --- a/scripts/scene-tests.sh +++ b/scripts/scene-tests.sh @@ -477,7 +477,7 @@ do-test-all-scenes() { elapsed_sec="$(( elapsed_millisec / 1000 )).$(printf "%03d" $elapsed_millisec)" if [[ -e "$output_dir/$scene/runSofa.timeout" ]]; then - echo 'Timeout!' + echo "Timeout after $timeout seconds ($elapsed_sec)! $scene" echo timeout > "$output_dir/$scene/status.txt" echo -e "\n\nINFO: Abort caused by timeout.\n" >> "$output_dir/$scene/output.txt" rm -f "$output_dir/$scene/runSofa.timeout"