user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update src/bootstrap/mk/Makefile.in

Browse source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
zachs18 2024-07-07 11:23:13 -05:00 • committed by GitHub
parent d8717cf780
commit 51727bae4b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bootstrap/mk/Makefile.in
View file

@ -58,7 +58,7 @@ check-aux:
library/core \
library/alloc \
--no-doc
# Some use file system operations to demonstrate dealing with `Result`.
# Some doctests use file system operations to demonstrate dealing with `Result`.
$(Q)MIRIFLAGS="-Zmiri-disable-isolation" \
$(BOOTSTRAP) miri --stage 2 \
library/core \