diff options
| author | Karl Berry <karl@freefriends.org> | 2018-05-14 00:31:14 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-05-14 00:31:14 +0000 |
| commit | c86e229aa1b93590106820e1c52995ea9856c353 (patch) | |
| tree | ca30bdd79f0dcb7552b9448bef3aded8a3b0a31a /Build/source/build-aux | |
| parent | 32bb184fb7cc58ac9f1a5aa4a8aade8cd794fd2b (diff) | |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@47708 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux')
| -rwxr-xr-x | Build/source/build-aux/config.sub | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Build/source/build-aux/config.sub b/Build/source/build-aux/config.sub index 0a518c367a3..98835b480d6 100755 --- a/Build/source/build-aux/config.sub +++ b/Build/source/build-aux/config.sub @@ -2,7 +2,7 @@ # Configuration validation subroutine script. # Copyright 1992-2018 Free Software Foundation, Inc. -timestamp='2018-05-11' +timestamp='2018-05-12' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -1551,10 +1551,6 @@ case $os in -none) ;; -*-eabi) - case $basic_machine in - arm*) - ;; - esac ;; *) # Get rid of the `-' at the beginning of $os. |