Merge pull request #1102 from tleedjarv/gha-win

GHA: Fix a random fault in Windows
bcpierce00 · Dec 20, 2024 · af5308a · af5308a
2 parents 09ecd94 + b378f69
commit af5308a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -256,8 +256,8 @@ jobs:
         # [2024-12] Somehow this was not required before a dune update that
         # switched from using pkg-config to pkgconf, but doing this should not
         # hurt in any case.
-        rm D:\cygwin\bin\pkgconf*
-        rm D:\cygwin\bin\pkg-config*
+        Remove-Item -Force D:\cygwin\bin\pkgconf*
+        Remove-Item -Force D:\cygwin\bin\pkg-config*
         "PKG_CONFIG=D:\gtk\bin\pkgconf.exe" >> "${env:GITHUB_ENV}"
         $env:Path = (${env:Path} -split ';' | Where-Object { $_ -Notlike "*cygwin*" }) -join ";"
         ##