diff options
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index b3ac97aff4..1eef2143fe 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -599,7 +599,9 @@ setup_locale # Platform-specific environment initialization if [ -n "${HERMETIC:-}" ]; then export CABAL_DIR="$TOP/cabal" - export HOME="/nonexistent" + # We previously set HOME=/nonexistent but apparently nix wants $HOME to exist + # so sadly we must settle for someplace writable. + export HOME="$TOP/tmp-home" else BIN_DIST_NAME="${BIN_DIST_NAME:-}" case "$(uname)" in |