diff options
| author | zachs18 <8355914+zachs18@users.noreply.github.com> | 2024-07-07 11:23:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-07 11:23:13 -0500 |
| commit | 51727bae4bb4650d7fa297b983fdc13608ae6e17 (patch) | |
| tree | e49d3e6d855e3c1d957b910e670b5cb1b2b49777 | |
| parent | d8717cf780e795b12193934b16ebcd47021d4925 (diff) | |
| download | rust-51727bae4bb4650d7fa297b983fdc13608ae6e17.tar.gz rust-51727bae4bb4650d7fa297b983fdc13608ae6e17.zip | |
Update src/bootstrap/mk/Makefile.in
Co-authored-by: Ralf Jung <post@ralfj.de>
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index 6267156e8e2..3d977bf3058 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -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 \ |