From bf0ce314e9471d95432168a5d812a76a0681d042 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 6 Apr 2024 21:56:02 +0200
Subject: [PATCH] add lib.miri.rs file for miri-test-libstd

---
 library/compiler-builtins/src/lib.miri.rs | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 library/compiler-builtins/src/lib.miri.rs

diff --git a/library/compiler-builtins/src/lib.miri.rs b/library/compiler-builtins/src/lib.miri.rs
new file mode 100644
index 000000000000..17288058e5e8
--- /dev/null
+++ b/library/compiler-builtins/src/lib.miri.rs
@@ -0,0 +1,5 @@
+//! Grep bootstrap for `MIRI_REPLACE_LIBRS_IF_NOT_TEST` to learn what this is about.
+#![no_std]
+#![feature(rustc_private)]
+extern crate compiler_builtins as real;
+pub use real::*;