From 422a814c9756a2d7731f3bbb587f5ec51001b21b Mon Sep 17 00:00:00 2001 From: Xu Zhao Date: Sun, 26 Jan 2025 22:38:46 -0500 Subject: [PATCH] Use debug to monitor_proc --- userbenchmark/release-test/monitor_proc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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