diff options
| author | Ben Gamari <ben@well-typed.com> | 2021-09-27 16:06:04 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2021-09-27 16:06:04 +0000 |
| commit | 8127520ee20e0ba8f7c8bfc84818781b9af652ae (patch) | |
| tree | 7fcea108799d77a3cc243ff1959e05eeec0f563d /.gitlab/ci.sh | |
| parent | 4b7ba3ae671ebd70fa7bdf744d30b8061db13016 (diff) | |
| download | haskell-8127520ee20e0ba8f7c8bfc84818781b9af652ae.tar.gz | |
gitlab-ci: Ensure that temporary home exists
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 |