diff options
Diffstat (limited to 'library/profiler_builtins/src/lib.rs')
| -rw-r--r-- | library/profiler_builtins/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/profiler_builtins/src/lib.rs b/library/profiler_builtins/src/lib.rs index 0c83bcee0..a81d0a635 100644 --- a/library/profiler_builtins/src/lib.rs +++ b/library/profiler_builtins/src/lib.rs @@ -7,4 +7,5 @@ issue = "none" )] #![allow(unused_features)] +#![cfg_attr(not(bootstrap), allow(internal_features))] #![feature(staged_api)] |