diff options
| -rw-r--r-- | build_system/build_sysroot.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_system/build_sysroot.rs b/build_system/build_sysroot.rs index 8682204f4fd..16cce83dd9c 100644 --- a/build_system/build_sysroot.rs +++ b/build_system/build_sysroot.rs @@ -205,7 +205,7 @@ fn build_clif_sysroot_for_triple( { let entry = entry.unwrap(); if let Some(ext) = entry.path().extension() { - if ext == "rmeta" || ext == "d" || ext == "dSYM" { + if ext == "rmeta" || ext == "d" || ext == "dSYM" || ext == "clif" { continue; } } else { |