Logging
This commit is contained in:
parent
007298b4d3
commit
4a5eda70fd
@ -149,6 +149,8 @@ for fork in "$@"; do
|
|||||||
timeout=""
|
timeout=""
|
||||||
if [ -x "$(command -v gtimeout)" ]; then
|
if [ -x "$(command -v gtimeout)" ]; then
|
||||||
timeout="gtimeout -v $RUN_TIME_LIMIT" # from `brew install coreutils`
|
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
|
fi
|
||||||
hyperfine $HYPERFINE_OPTS "$timeout ./calculate_average_$fork.sh 2>&1"
|
hyperfine $HYPERFINE_OPTS "$timeout ./calculate_average_$fork.sh 2>&1"
|
||||||
fi
|
fi
|
||||||
|
Loading…
Reference in New Issue
Block a user