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 | |
| parent | 90c9b2c61c02b9aa4475c8911fde7eeae368b34a (diff) | |
merge from gcc
Diffstat (limited to 'libiberty/configure')
| -rwxr-xr-x | libiberty/configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libiberty/configure b/libiberty/configure index e601ccd99f..b71141a98b 100755 --- a/libiberty/configure +++ b/libiberty/configure @@ -4963,6 +4963,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 |