diff options
| author | DJ Delorie <dj@delorie.com> | 2013-10-16 00:29:39 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@delorie.com> | 2013-10-16 00:29:39 +0000 |
| commit | 30e15c23f92d7a42f69bcf55f2ec9dc58737f11a (patch) | |
| tree | f2ae1145c41aa97db0bf25dac42e032fb653b2ed /libiberty/configure | |
| parent | c1f569929234e16f3700283a63c1f4c476466ca4 (diff) | |
| download | gdb-30e15c23f92d7a42f69bcf55f2ec9dc58737f11a.tar.gz | |
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 e601ccd99f4..b71141a98b0 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 |