summaryrefslogtreecommitdiff
path: root/Build/source/build-aux/config.sub
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-05-08 00:23:37 +0000
committerKarl Berry <karl@freefriends.org>2018-05-08 00:23:37 +0000
commitc9d2367d978e5b760343bad5c40bb8f3da362fbc (patch)
tree422b4ef68c8c25e2de6e75fb71412c50ea21e890 /Build/source/build-aux/config.sub
parent525cd868bd634428fc922cae1671a04bd157a5c3 (diff)
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@47641 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux/config.sub')
-rwxr-xr-xBuild/source/build-aux/config.sub10
1 files changed, 8 insertions, 2 deletions
diff --git a/Build/source/build-aux/config.sub b/Build/source/build-aux/config.sub
index deb14e973f8..20f7cf29a9e 100755
--- a/Build/source/build-aux/config.sub
+++ b/Build/source/build-aux/config.sub
@@ -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/[^-]*-//'`