From 6dbfb2d9dee84b29612527044fc308e6304cfbf2 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 15 Jul 2020 10:09:28 +0200 Subject: [PATCH] make cfg(miri) greppable --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ab4d4c02db1e..e20c53b68dc5 100644 --- a/README.md +++ b/README.md @@ -94,9 +94,9 @@ Linux program, you can do `cargo miri run --target x86_64-unknown-linux-gnu`. This is particularly useful if you are using Windows, as the Linux target is much better supported than Windows targets. -When compiling code via `cargo miri`, the `miri` config flag is set. You can -use this to ignore test cases that fail under Miri because they do things Miri -does not support: +When compiling code via `cargo miri`, the `cfg(miri)` config flag is set. You +can use this to ignore test cases that fail under Miri because they do things +Miri does not support: ```rust #[test]