diff options
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.in b/configure.in index da1853bdf0..df0de5d648 100644 --- a/configure.in +++ b/configure.in @@ -167,6 +167,11 @@ o=`echo $tail | sed 's/[0-9]*$//'` if test $o != $tail; then ostry="$ostry /$o" fi +# For linux-gnu, try linux-gnu, then linux. +o=`echo $tail | sed 's/-.*$//'` +if test $o != $tail; then + ostry="$ostry /$o" +fi # For unix/sysv/sysv4, try unix/sysv/sysv4, then unix/sysv, then unix. base= |