diff options
author | Ximin Luo <infinity0@pwned.gg> | 2017-07-17 22:29:09 +0200 |
---|---|---|
committer | Ximin Luo <infinity0@pwned.gg> | 2017-07-17 22:29:09 +0200 |
commit | ffae5deaa77dcb9ca5e18adcd12d465a90b4c089 (patch) | |
tree | bb109afafba8cc9ea53a06516e8231a88ef2ccec /configure | |
parent | 028569ab1b339bcc00814e1c7fb71a5cea5ccb0f (diff) | |
download | rust-ffae5deaa77dcb9ca5e18adcd12d465a90b4c089.tar.gz |
configure: allow distros to disable debuginfo-only-std
Diffstat (limited to 'configure')
-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 ;; |