diff options
Diffstat (limited to '.gitlab')
-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 |