diff options
| -rw-r--r-- | src/libprofiler_builtins/build.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libprofiler_builtins/build.rs b/src/libprofiler_builtins/build.rs index 04cd2efe000..852b7aac359 100644 --- a/src/libprofiler_builtins/build.rs +++ b/src/libprofiler_builtins/build.rs @@ -72,6 +72,7 @@ fn main() { cfg.file(root.join("lib").join("profile").join(src)); } + cfg.include(root.join("include")); cfg.warnings(false); cfg.compile("profiler-rt"); } |