diff --git a/scripts/kani-std-analysis/std-analysis.sh b/scripts/kani-std-analysis/std-analysis.sh
index 292233883801a..dad4a181dc95a 100755
--- a/scripts/kani-std-analysis/std-analysis.sh
+++ b/scripts/kani-std-analysis/std-analysis.sh
@@ -78,6 +78,7 @@ export RUST_BACKTRACE=1
 export RUSTC_LOG=error
 
 RUST_FLAGS=(
+    "--cfg=kani"
     "-Cpanic=abort"
     "-Zalways-encode-mir"
 )