diff options
| author | Karl Berry <karl@freefriends.org> | 2017-11-26 01:22:27 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-11-26 01:22:27 +0000 |
| commit | a1f7bc9f54f653492e03084c09535ca102bc881a (patch) | |
| tree | ce40a799ba11d6ed5861e5b1fdd29e8b6c9306f1 /Build/source/build-aux | |
| parent | 9db84d3f367189fe22f063124c297181e60de0f0 (diff) | |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@45909 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux')
| -rwxr-xr-x | Build/source/build-aux/config.sub | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/Build/source/build-aux/config.sub b/Build/source/build-aux/config.sub index fb579478695..00f68b8e5f3 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-2017 Free Software Foundation, Inc. -timestamp='2017-11-04' +timestamp='2017-11-23' # 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 @@ -1546,6 +1546,19 @@ case $os in -dicos*) os=-dicos ;; + -pikeos*) + # Until real need of OS specific support for + # particular features comes up, bare metal + # configurations are quite functional. + case $basic_machine in + arm*) + os=-eabi + ;; + *) + os=-elf + ;; + esac + ;; -nacl*) ;; -ios) |