Update src/bootstrap/mk/Makefile.in

Co-authored-by: Ralf Jung <[email protected]>
rust-lang · Jul 7, 2024 · 51727ba · 51727ba
1 parent d8717cf
commit 51727ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 \