diff options
| author | Thomas Bushnell, n/BSG <thomas@gnu.org> | 1996-11-21 21:51:00 +0000 |
|---|---|---|
| committer | Thomas Bushnell, n/BSG <thomas@gnu.org> | 1996-11-21 21:51:00 +0000 |
| commit | 6471befc53ceba9041d797001a7889807215b375 (patch) | |
| tree | c86555eb1fcd28e2fb3ec5342162793d4a0ccb49 /gcc/config.sub | |
| parent | 3f8d007ecc47b6b70e13d13dfe1e07ad30c4bcdc (diff) | |
| download | gcc-6471befc53ceba9041d797001a7889807215b375.zip gcc-6471befc53ceba9041d797001a7889807215b375.tar.gz gcc-6471befc53ceba9041d797001a7889807215b375.tar.bz2 | |
config.sub: Recognize gnu-gnu* along with linux-gnu* as a valid kernel-os combination.
* config.sub: Recognize gnu-gnu* along with linux-gnu* as a valid
kernel-os combination. Remove `-gnu*' from the portable systems
list. Add `-gnu-gnu*'. Add new rule for `-gnu*' to turn it into
two part name.
From-SVN: r13215
Diffstat (limited to 'gcc/config.sub')
| -rwxr-xr-x | gcc/config.sub | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/config.sub b/gcc/config.sub index 0432524..5c77f39 100755 --- a/gcc/config.sub +++ b/gcc/config.sub @@ -68,7 +68,7 @@ esac # Here we must recognize all the valid KERNEL-OS combinations. maybe_os=`echo $1 | sed 's/^\(.*\)-\([^-]*-[^-]*\)$/\2/'` case $maybe_os in - linux-gnu*) + linux-gnu* | gnu-gnu*) os=-$maybe_os basic_machine=`echo $1 | sed 's/^\(.*\)-\([^-]*-[^-]*\)$/\1/'` ;; @@ -678,7 +678,7 @@ case $os in # The portable systems comes first. # Each alternative MUST END IN A *, to match a version number. # -sysv* is not here because it comes later, after sysvr4. - -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \ + -gnu-gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \ | -*vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]*\ | -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \ | -amigados* | -msdos* | -newsos* | -unicos* | -aof* | -aos* \ @@ -692,6 +692,9 @@ case $os in | -linux-gnu* | -uxpv*) # Remember, each alternative MUST END IN *, to match a version number. ;; + -gnu*) + os=`echo $os | sed -e 's|gnu|gnu-gnu|'` + ;; -linux*) os=`echo $os | sed -e 's|linux|linux-gnu|'` ;; |