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 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index af59d5b0bb8..2b493ee91b5 100755 --- a/configure +++ b/configure @@ -452,6 +452,7 @@ opt vendor 0 "enable usage of vendored Rust crates" opt sanitizers 0 "build the sanitizer runtimes (asan, lsan, msan, tsan)" opt dist-src 1 "when building tarballs enables building a source tarball" opt cargo-openssl-static 0 "static openssl in cargo" +opt profiler 0 "build the profiler runtime" # Optimization and debugging options. These may be overridden by the release channel, etc. opt_nosave optimize 1 "build optimized rust code" |