]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Sun, 6 May 2018 16:05:42 +0000 (09:05 -0700)
committerKarl Berry <karl@freefriends.org>
Sun, 6 May 2018 16:05:42 +0000 (09:05 -0700)
build-aux/config.sub

index deb14e973f88d8c261f6b3eda74a4658b6ee04dd..20f7cf29a9ed34f61ad235a26d67c09a9a6a523d 100755 (executable)
@@ -111,7 +111,7 @@ case $# in
 esac
 
 # Spilt fields of configuration type
-IFS="-" read field1 field2 field3 field4 <<EOF
+IFS="-" read -r field1 field2 field3 field4 <<EOF
 $1
 EOF
 
@@ -1360,7 +1360,7 @@ esac
 
 # Decode manufacturer-specific aliases for certain operating systems.
 
-if [ x"$os" != x"" ]
+if [ x$os != x ]
 then
 case $os in
        # First match some system type aliases that might get confused
@@ -1550,6 +1550,12 @@ case $os in
                ;;
        -none)
                ;;
+       -*-eabi)
+               case $basic_machine in
+                   arm*)
+                       ;;
+               esac
+               ;;
        *)
                # Get rid of the `-' at the beginning of $os.
                os=`echo $os | sed 's/[^-]*-//'`