-
Notifications
You must be signed in to change notification settings - Fork 12.5k
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
Bootstrap sometimes fails to build miri #118129
Comments
A quick workaround for your case would be adding |
FWIW I cannot reproduce the problem any more. Has this been fixed? |
Actually never mind the issue still exists |
Step to reproduce:
Now Miri fails to build with >1800 errors. The first ones are:
However, if I now run
./x.py check miri
, everything is fine.rm build/host/stage0* -rf && ./x.py check miri
is also fine. Something about explicitly giving the three paths to build is throwing bootstrap off. And even more strangely, the same sequence of commands worked fine before #116828.Cc @rust-lang/bootstrap
The text was updated successfully, but these errors were encountered: