diff options
| author | Seo Sanghyeon <sanxiyn@gmail.com> | 2017-01-01 12:40:10 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-01 12:40:10 +0900 |
| commit | b14785d3d0e3093983f6d6e266b754e1b536da10 (patch) | |
| tree | 37e6e5bb194c6f1a6721d928c63ba4c06b9de126 /configure | |
| parent | 728ec85e9af04784263acaf2993b2dbf4c07519f (diff) | |
| parent | 07412c8d253121ee912014021a1dd7308b7154a1 (diff) | |
| download | rust-b14785d3d0e3093983f6d6e266b754e1b536da10.tar.gz rust-b14785d3d0e3093983f6d6e266b754e1b536da10.zip | |
Merge branch 'master' into sparc64
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index d4721109457..beb0a9d43a0 100755 --- a/configure +++ b/configure @@ -693,6 +693,7 @@ opt_nosave manage-submodules 1 "let the build manage the git submodules" opt_nosave clang 0 "prefer clang to gcc for building the runtime" opt_nosave jemalloc 1 "build liballoc with jemalloc" opt elf-tls 1 "elf thread local storage on platforms where supported" +opt full-bootstrap 0 "build three compilers instead of two" valopt_nosave prefix "/usr/local" "set installation prefix" valopt_nosave local-rust-root "/usr/local" "set prefix for local rust binary" |