Commit 4ea68d0
committed
ci-artifacts: ask please.sh for the UCRT64 flavor explicitly
Now that build-extra has learned to accept `--architecture=ucrt64` in
`create_sdk_artifact`, point both invocations at it. Without the flag,
please.sh's auto-detect picks `x86_64`, hard-maps that to MINGW64 /
/mingw64/, and writes a broken artifact (no /mingw64/bin exists on this
branch, the Pacman package set carries the wrong prefix).
This results in MSYSTEM=UCRT64 and PATH starting with /ucrt64/bin, as is
needed for the artifact's own /etc/profile to be correct out of the box.
For that reason, we now also verify that _that_ GCC is found ;-)
Assisted-by: Opus 4.7
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>1 parent 038a353 commit 4ea68d0
2 files changed
Lines changed: 4 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | | - | |
| 37 | + | |
38 | 38 | | |
39 | 39 | | |
40 | 40 | | |
| |||
52 | 52 | | |
53 | 53 | | |
54 | 54 | | |
55 | | - | |
| 55 | + | |
56 | 56 | | |
57 | 57 | | |
58 | 58 | | |
| |||
105 | 105 | | |
106 | 106 | | |
107 | 107 | | |
108 | | - | |
| 108 | + | |
109 | 109 | | |
110 | 110 | | |
111 | 111 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
87 | 87 | | |
88 | 88 | | |
89 | 89 | | |
90 | | - | |
| 90 | + | |
91 | 91 | | |
92 | 92 | | |
93 | 93 | | |
| |||
0 commit comments