diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure index 0e17eb4cc4..52ee0e80bc 100755 --- a/configure +++ b/configure @@ -1599,7 +1599,7 @@ echo "configure:1599: checking version of $SED" >&5 ac_prog_version=`$SED --version 2>&1 | sed -n 's/^.*GNU sed version \([0-9]*\.[0-9.]*\).*$/\1/p'` case $ac_prog_version in '') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;; - 3.02) + 3.0[2-9]|3.[1-9]*|[4-9]*) ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;; *) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;; @@ -3209,6 +3209,7 @@ fi + if test $gnu_ld = yes; then cat >> confdefs.h <<\EOF @@ -3242,7 +3243,7 @@ if test $shared = default; then fi echo $ac_n "checking whether -fPIC is default""... $ac_c" 1>&6 -echo "configure:3246: checking whether -fPIC is default" >&5 +echo "configure:3247: checking whether -fPIC is default" >&5 if eval "test \"\${pic_default+set}\" = set"; then echo $ac_n "(cached) $ac_c" 1>&6 else |