diff options
Diffstat (limited to 'library/std')
| -rw-r--r-- | library/std/build.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/std/build.rs b/library/std/build.rs index 0fb03c8e88a..d0b37940936 100644 --- a/library/std/build.rs +++ b/library/std/build.rs @@ -36,6 +36,8 @@ fn main() { || target.contains("nintendo-3ds") || target.contains("vita") || target.contains("nto") + // See src/bootstrap/synthetic_targets.rs + || env::var("RUSTC_BOOTSTRAP_SYNTHETIC_TARGET").is_ok() { // These platforms don't have any special requirements. } else { |
