diff options
| author | DJ Delorie <dj@redhat.com> | 2013-10-16 00:29:48 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@redhat.com> | 2013-10-16 00:29:48 +0000 |
| commit | 26505cc0c4e4257c36df3e80507e531c8b1380e5 (patch) | |
| tree | 2b1477c7e4ecc744d0545ec20f40d41449ba5d6c /libiberty/configure.ac | |
| parent | 90c9b2c61c02b9aa4475c8911fde7eeae368b34a (diff) | |
merge from gcc
Diffstat (limited to 'libiberty/configure.ac')
| -rw-r--r-- | libiberty/configure.ac | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libiberty/configure.ac b/libiberty/configure.ac index fcea46f6c7..4ad88a984d 100644 --- a/libiberty/configure.ac +++ b/libiberty/configure.ac @@ -225,6 +225,12 @@ case "${enable_shared}" in "") shared=no ;; *) shared=yes ;; esac + +# ...unless --enable-host-shared was passed from top-level config: +if [[ "${enable_host_shared}" = "yes" ]]; then + shared=yes +fi + if [[ "${shared}" != "yes" ]]; then PICFLAG= fi |