diff options
author | Alexey Neyman <stilor@att.net> | 2017-02-14 06:45:45 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-14 06:45:45 (GMT) |
commit | fbc69323085e2370faeb8b46291cd66cbf9ef649 (patch) | |
tree | 10da28cd40b45913f6104c07badbf48971500066 /scripts/config.sub | |
parent | c440a13a8231e267827349065a90f98fac3d4cc0 (diff) | |
parent | f9bec4ed7c4540de73c82c94053f975c5c7c29e4 (diff) |
Merge pull request #594 from stilor/wget-vs-curl
Select wget vs curl, BSD stat vs GNU stat
Diffstat (limited to 'scripts/config.sub')
-rwxr-xr-x | scripts/config.sub | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/config.sub b/scripts/config.sub index 7e792b4..87abeab 100755 --- a/scripts/config.sub +++ b/scripts/config.sub @@ -2,7 +2,7 @@ # Configuration validation subroutine script. # Copyright 1992-2017 Free Software Foundation, Inc. -timestamp='2017-01-01' +timestamp='2017-02-07' # 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 @@ -948,6 +948,9 @@ case $basic_machine in nsr-tandem) basic_machine=nsr-tandem ;; + nsx-tandem) + basic_machine=nsx-tandem + ;; op50n-* | op60c-*) basic_machine=hppa1.1-oki os=-proelf |