diff options
| author | Mark Simulacrum <mark.simulacrum@gmail.com> | 2017-07-24 09:16:30 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-24 09:16:30 -0600 |
| commit | 953f381663575221e1ebd5cfc64fed83b0e30ee7 (patch) | |
| tree | 4683a0d3150274cb59bd22c18fb81c8fd275a89a | |
| parent | 5669c9988f50788b5ab5dee2d4538519d4e5663d (diff) | |
| parent | ffae5deaa77dcb9ca5e18adcd12d465a90b4c089 (diff) | |
Rollup merge of #43297 - infinity0:master, r=alexcrichton
configure: allow distros to disable debuginfo-only-std This allows builders to generate debugging information for everything, even in a stable release build. This is useful for distros like Fedora (already carrying a [similar patch](https://src.fedoraproject.org/cgit/rpms/rust.git/tree/rust-1.16.0-configure-no-override.patch)) and Debian that automatically put all debuginfo in separate "debug symbol" packages. This commit preserves the default behaviour of switching these on when a non-dev channel is selected, but allows the user to override this via the `./configure` command line. In theory, one could also do this via `bootstrap/config.toml` but it doesn't work currently due to #43295.
| -rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure index e08bcc02827..e3ad7ce85f8 100755 --- a/configure +++ b/configure @@ -560,8 +560,8 @@ case "$CFG_RELEASE_CHANNEL" in *-pc-windows-gnu) ;; *) - CFG_ENABLE_DEBUGINFO_LINES=1 - CFG_ENABLE_DEBUGINFO_ONLY_STD=1 + enable_if_not_disabled debuginfo-lines + enable_if_not_disabled debuginfo-only-std ;; esac @@ -572,8 +572,8 @@ case "$CFG_RELEASE_CHANNEL" in *-pc-windows-gnu) ;; *) - CFG_ENABLE_DEBUGINFO_LINES=1 - CFG_ENABLE_DEBUGINFO_ONLY_STD=1 + enable_if_not_disabled debuginfo-lines + enable_if_not_disabled debuginfo-only-std ;; esac ;; |