diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index d397d4de40..95e8b052fd 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -427,8 +427,9 @@ function push_perf_notes() { # N.B. $HOME may be unset (e.g. is HERMETIC is set) yet test-metrics.sh # relies on it for SSH configuration. Provide a temporary $HOME instead. TMP_HOME="$(pwd)/.home" + mkdir -p "$TMP_HOME" HOME="$TMP_HOME" "$TOP/.gitlab/test-metrics.sh" push - rm -R "$TMP_HOME" + rm -Rf "$TMP_HOME" } # Figure out which commit should be used by the testsuite driver as a |