diff --git a/userbenchmark/release-test/monitor_proc.sh b/userbenchmark/release-test/monitor_proc.sh index 3594f8caf4..8886d72fd4 100644 --- a/userbenchmark/release-test/monitor_proc.sh +++ b/userbenchmark/release-test/monitor_proc.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -eou pipefail +set -xeou pipefail max() { local a=$1