diff --git a/hack/run-tests.sh b/hack/run-tests.sh index 63b17d4c5c..6b176768eb 100755 --- a/hack/run-tests.sh +++ b/hack/run-tests.sh @@ -52,6 +52,8 @@ TEST_REPORT=${TEST_REPORT:-""} output_volume_args="" output_args="" +GENERATE_TIMINGS=${GENERATE_TIMINGS:-""} + if [ ! -z "$GENERATE_TIMINGS" ]; then export TEST_REPORT=1 fi