Merge branch 'profiling' of github.com:whitequark/rust into profiling

This commit is contained in:
Marco Castelluccio 2017-06-04 15:54:39 +01:00
commit ecba8d6a23
32 changed files with 296 additions and 10 deletions

1
configure vendored
View file

@ -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"