diff options
| author | Chris Denton <chris@chrisdenton.dev> | 2025-07-19 22:05:25 +0000 |
|---|---|---|
| committer | Chris Denton <chris@chrisdenton.dev> | 2025-07-19 22:05:47 +0000 |
| commit | db1449aed549ea8f7f4b1809cf262e70dbf00eeb (patch) | |
| tree | e55a0ade84afcbff4ba7d998872c623a252e6941 /src/ci/scripts | |
| parent | f63685ddf3d3c92a61158cd55d44bde17c2b024f (diff) | |
| download | rust-db1449aed549ea8f7f4b1809cf262e70dbf00eeb.tar.gz rust-db1449aed549ea8f7f4b1809cf262e70dbf00eeb.zip | |
Initialize mingw for the runner's user
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/install-mingw.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ci/scripts/install-mingw.sh b/src/ci/scripts/install-mingw.sh index ad852071f29..ed87628659b 100755 --- a/src/ci/scripts/install-mingw.sh +++ b/src/ci/scripts/install-mingw.sh @@ -43,4 +43,9 @@ if isWindows && isKnownToBeMingwBuild; then curl -o mingw.7z "${MIRRORS_BASE}/${mingw_archive}" 7z x -y mingw.7z > /dev/null ciCommandAddPath "$(cygpath -m "$(pwd)/${mingw_dir}/bin")" + + # Initialize mingw for the user. + # This should be done by github but isn't for some reason. + # (see https://github.com/actions/runner-images/issues/12600) + /c/msys64/usr/bin/bash -lc ' ' fi |