-
-
Notifications
You must be signed in to change notification settings - Fork 33.2k
GH-137484: Have Tools/wasm/wasi use the build triple instead of "build"
#137485
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
GH-137484: Have Tools/wasm/wasi use the build triple instead of "build"
#137485
Conversation
…of "build" This should help prevent issuse where something like a container is used to do one build and then someone tries to build again locally.
|
!buildbot wasi |
|
🤖 New build scheduled with the buildbot fleet by @brettcannon for commit f71b4d0 🤖 Results will be shown at: https://buildbot.python.org/all/#/grid?branch=refs%2Fpull%2F137485%2Fmerge The command will test the builders whose names match following regular expression: The builders matched are:
|
|
Thanks @brettcannon for the PR 🌮🎉.. I'm working now to backport this PR to: 3.14. |
|
It looks like miss-islington had a glitch and didn't leave a comment on the backport PR: #137487 |
|
Reminder about backporting. @brettcannon |
I have a backport ready to go, but I'm waiting on 3.14 to be unfrozen for general fixes. |
|
GH-137487 is a backport of this pull request to the 3.14 branch. |
… of "build" (GH-137485) (#137487) GH-137484: Have `Tools/wasm/wasi` use the build triple instead of "build" (GH-37485) This should help prevent issuse where something like a container is used to do one build and then someone tries to build again locally. (cherry picked from commit 0953200) Co-authored-by: Brett Cannon <brett@python.org> Co-authored-by: Petr Viktorin <encukou@gmail.com>
This should help prevent issues where something like a container is used to do one build and then someone tries to build again locally.
buildfor the directory name of the build Python inTools/wasm/wasi#137484