diff options
Diffstat (limited to 'Build/source/utils/asymptote/config.sub')
| -rw-r--r-- | Build/source/utils/asymptote/config.sub | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/config.sub b/Build/source/utils/asymptote/config.sub index fb579478695..00f68b8e5f3 100644 --- a/Build/source/utils/asymptote/config.sub +++ b/Build/source/utils/asymptote/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) |