diff options
| author | Ben Gamari <ben@well-typed.com> | 2021-09-27 16:06:04 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-10-28 09:45:15 -0400 |
| commit | 8b971582847d080e4ec3eb7e7d7882a86b21eac6 (patch) | |
| tree | 7148a68bb05940faa64bcfe9521a2b574c60220d | |
| parent | f21dce4df67ed00bb3bc593478ca78ed7ee564e1 (diff) | |
| download | haskell-8b971582847d080e4ec3eb7e7d7882a86b21eac6.tar.gz | |
gitlab-ci: Ensure that temporary home exists
(cherry picked from commit 8127520ee20e0ba8f7c8bfc84818781b9af652ae)
| -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 b092429d4f..3e569cf9f4 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -431,8 +431,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 |