diff options
| author | Richard Stallman <rms@gnu.org> | 1994-10-04 09:12:29 +0000 |
|---|---|---|
| committer | Richard Stallman <rms@gnu.org> | 1994-10-04 09:12:29 +0000 |
| commit | cc3311068dfb776c5bef641c02a4c9ddeceffc59 (patch) | |
| tree | 2a1e4221d772d037c9f1c3eaeea8fbe7432ded39 /gcc | |
| parent | 003f7c3e79b6262784ae802dd65bfa8342146b13 (diff) | |
| download | gcc-cc3311068dfb776c5bef641c02a4c9ddeceffc59.zip gcc-cc3311068dfb776c5bef641c02a4c9ddeceffc59.tar.gz gcc-cc3311068dfb776c5bef641c02a4c9ddeceffc59.tar.bz2 | |
Translate -gnu/linux* to -linux*.
From-SVN: r8210
Diffstat (limited to 'gcc')
| -rwxr-xr-x | gcc/config.sub | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/config.sub b/gcc/config.sub index 61bd8d5..3893f4f 100755 --- a/gcc/config.sub +++ b/gcc/config.sub @@ -565,6 +565,9 @@ case $os in -solaris) os=-solaris2 ;; + -gnu/linux*) + os=`echo $os | sed -e 's|gnu/linux|linux|'` + ;; # First accept the basic system types. # The portable systems comes first. # Each alternative must end in a *, to match a version number. |