configure
changeset 7301 3554be091b3b
parent 7273 449ec3248b61
child 7307 5d6b7b9432d3
     1.1 --- a/configure	Fri Jun 07 21:47:23 2013 -0700
     1.2 +++ b/configure	Fri Jun 07 21:50:29 2013 -0700
     1.3 @@ -15846,7 +15846,7 @@
     1.4          host_lib_path="/usr/$base_libdir /usr/local/$base_libdir"
     1.5      fi
     1.6      for path in $gcc_bin_path $gcc_lib_path $env_lib_path $host_lib_path; do
     1.7 -        lib=`ls -- $path/$1 2>/dev/null | sort | sed 's/.*\/\(.*\)/\1/; q'`
     1.8 +        lib=`ls -- $path/$1 2>/dev/null | sed -e '/\.so\..*\./d' -e 's,.*/,,' | sort | tail -1`
     1.9          if test x$lib != x; then
    1.10              echo $lib
    1.11              return