gitlab-ci: Use robocopy instead of bash to copy cabal cache
authorBen Gamari <ben@smart-cactus.org>
Sun, 23 Dec 2018 18:12:46 +0000 (13:12 -0500)
committerBen Gamari <ben@smart-cactus.org>
Tue, 25 Dec 2018 03:35:13 +0000 (22:35 -0500)
.gitlab-ci.yml

index c906b3e..d86de7a 100644 (file)
@@ -318,7 +318,7 @@ validate-x86_64-linux-deb9-unreg:
     - bash .gitlab/win32-init.sh
   after_script:
     - rd /s /q tmp
-    - bash -c 'cp -Rf $APPDATA/cabal cabal-cache'
+    - robocopy /np /nfl /ndl /e "%APPDATA%\cabal" cabal-cache
   cache:
     paths:
       - cabal-cache