diff options
| author | Ben Gamari <ben@well-typed.com> | 2020-02-19 23:20:58 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-20 21:24:46 -0500 |
| commit | f44c7e6723498c5dde0cd78e4af26142a14d98f4 (patch) | |
| tree | 40c400fbce65a7645677aa97c5c77cc77b668736 | |
| parent | 05251b175b3745ed96c9f672115c78c527b63b9e (diff) | |
| download | haskell-f44c7e6723498c5dde0cd78e4af26142a14d98f4.tar.gz | |
gitlab-ci: Avoid duplicating ~/.cabal contents with every build
Previously our attempt to cache the cabal store would
`cp cabal-cache ~/.cabal`. However, if the latter already
existed this meant that we would end up with
~/.cabal/cabal-cache. Not only would this not help caching
but it would exponentially grow the size of ~/.cabal. Not
good!
| -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 f915945f1e..29421e56f7 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -151,7 +151,8 @@ function set_toolchain_paths() { function setup() { if [ -d "$TOP/cabal-cache" ]; then info "Extracting cabal cache..." - cp -Rf cabal-cache "$cabal_dir" + mkdir -p "$cabal_dir" + cp -Rf cabal-cache/* "$cabal_dir" fi if [[ -n "$needs_toolchain" ]]; then |