Introduce a proper error handling framework

[rust.git] / miri

diff --git a/miri b/miri
index 2debf70c1664449b071421cd8208e04fd090a0f0..f0d92b6a2b5391b80e8b7f89abf64882edb32051 100755 (executable)
--- a/miri
+++ b/miri
@@ -30,7 +30,7 @@ times and slower execution times.
 Format all sources and tests. <flags> are passed to `rustfmt`.
 
 ./miri clippy <flags>:
-Format all sources and tests. <flags> are passed to `cargo clippy`.
+Runs clippy on all sources. <flags> are passed to `cargo clippy`.
 
 ./miri many-seeds <command>:
 Runs <command> over and over again with different seeds for Miri. The MIRIFLAGS