diff options
| author | Marco Castelluccio <mcastelluccio@mozilla.com> | 2017-06-04 15:54:39 +0100 |
|---|---|---|
| committer | Marco Castelluccio <mcastelluccio@mozilla.com> | 2017-06-04 15:54:39 +0100 |
| commit | ecba8d6a23d8bafd6296d619180a5f3e09bb21b1 (patch) | |
| tree | 6f95b5427b14d9b0d0c8975aa450269c7943649e /src/bootstrap/lib.rs | |
| parent | 1b5a923001c481627d7b1d19d0fe1d3f86e5c5a6 (diff) | |
| parent | 42754ce710a777b38402b12728daf54d68ea2b50 (diff) | |
| download | rust-ecba8d6a23d8bafd6296d619180a5f3e09bb21b1.tar.gz rust-ecba8d6a23d8bafd6296d619180a5f3e09bb21b1.zip | |
Merge branch 'profiling' of github.com:whitequark/rust into profiling
Diffstat (limited to 'src/bootstrap/lib.rs')
| -rw-r--r-- | src/bootstrap/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/bootstrap/lib.rs b/src/bootstrap/lib.rs index 2fe6a2a3ae8..c8cd71f8f28 100644 --- a/src/bootstrap/lib.rs +++ b/src/bootstrap/lib.rs @@ -594,6 +594,9 @@ impl Build { if self.config.backtrace { features.push_str(" backtrace"); } + if self.config.profiler { + features.push_str(" profiler"); + } return features } |