commit aa44512b8511e18a334dcee55c1d9ae5d5aba842 (tree)
parent e6a4e87f69cdb8c76b24f136c945694db69f9b50
Author: Andrew Kelley <andrew@ziglang.org>
Date: Sun, 18 Dec 2022 16:31:12 -0700
CI: workaround git bug regarding changed attributes
Diffstat:
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/ci/aarch64-windows.ps1 b/ci/aarch64-windows.ps1
@@ -31,6 +31,11 @@ if ((git rev-parse --is-shallow-repository) -eq "true") {
git fetch --unshallow # `git describe` won't work on a shallow repo
}
+# Fix files that have their gitattributes changed
+git rm -rf lib
+git restore --staged lib
+git checkout lib
+
Write-Output "Building from source..."
Remove-Item -Path 'build-release' -Recurse -Force -ErrorAction Ignore
New-Item -Path 'build-release' -ItemType Directory