diff options
| author | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-11 09:31:36 +0100 |
|---|---|---|
| committer | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-11 09:31:36 +0100 |
| commit | 4a5eda70fd6a71b012f59c3ea9168fb2643280f6 (patch) | |
| tree | 3a9e1ce9c0a6753f6cd8c847cf4556bec3ea2659 | |
| parent | 007298b4d3a6997b77333cb780d2c114e6a95479 (diff) | |
Logging
| -rwxr-xr-x | evaluate2.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/evaluate2.sh b/evaluate2.sh index a9e0339..04eebb6 100755 --- a/evaluate2.sh +++ b/evaluate2.sh @@ -149,6 +149,8 @@ for fork in "$@"; do timeout="" if [ -x "$(command -v gtimeout)" ]; then timeout="gtimeout -v $RUN_TIME_LIMIT" # from `brew install coreutils` + else + echo -e "${BOLD_YELLOW}WARNING${RESET} gtimeout not available, benchmark runs may take indefinitely long." fi hyperfine $HYPERFINE_OPTS "$timeout ./calculate_average_$fork.sh 2>&1" fi |