From fb6118b824349fe77870cdad85da32d5c73c623a Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 6 Aug 2024 15:00:15 +0200
Subject: [PATCH] Rename `compiler-builtins-no-f16-f128` into
 `std/compiler-builtins-no-f16-f128`

---
 build_system/src/build.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_system/src/build.rs b/build_system/src/build.rs
index 8d9518653c5..3f88945767d 100644
--- a/build_system/src/build.rs
+++ b/build_system/src/build.rs
@@ -148,7 +148,7 @@ pub fn build_sysroot(env: &HashMap<String, String>, config: &ConfigInfo) -> Resu
         &"--target",
         &config.target,
         &"--features",
-        &"compiler-builtins-no-f16-f128",
+        &"std/compiler-builtins-no-f16-f128",
     ];
 
     if config.no_default_features {