diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/configure b/configure index c66deb2ddc..083cca461d 100755 --- a/configure +++ b/configure @@ -2758,20 +2758,8 @@ if test $shared = default; then fi fi -if test $static = no && test $shared = yes; then - case "$host_os" in - linux* | gnu*) - { echo "configure: error: -*** You must compile with support for the static library since the shared -*** library uses it. Restart configure without \`--disable-static'." 1>&2; exit 1; } - ;; - *) - ;; - esac -fi - echo $ac_n "checking whether -fPIC is default""... $ac_c" 1>&6 -echo "configure:2775: checking whether -fPIC is default" >&5 +echo "configure:2763: checking whether -fPIC is default" >&5 if eval "test \"`echo '$''{'pic_default'+set}'`\" = set"; then echo $ac_n "(cached) $ac_c" 1>&6 else |