diff options
Diffstat (limited to '')
-rw-r--r-- | library/profiler_builtins/src/lib.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/library/profiler_builtins/src/lib.rs b/library/profiler_builtins/src/lib.rs new file mode 100644 index 000000000..0c83bcee0 --- /dev/null +++ b/library/profiler_builtins/src/lib.rs @@ -0,0 +1,10 @@ +#![no_std] +#![feature(profiler_runtime)] +#![profiler_runtime] +#![unstable( + feature = "profiler_runtime_lib", + reason = "internal implementation detail of rustc right now", + issue = "none" +)] +#![allow(unused_features)] +#![feature(staged_api)] |