diff options
| author | Karl Berry <karl@freefriends.org> | 2018-05-08 00:23:37 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-05-08 00:23:37 +0000 |
| commit | c9d2367d978e5b760343bad5c40bb8f3da362fbc (patch) | |
| tree | 422b4ef68c8c25e2de6e75fb71412c50ea21e890 /Build/source/build-aux/config.sub | |
| parent | 525cd868bd634428fc922cae1671a04bd157a5c3 (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-x | Build/source/build-aux/config.sub | 10 |
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/[^-]*-//'` |