diff options
| author | rms <rms@138bc75d-0d04-0410-961f-82ee72b054a4> | 1994-10-04 09:12:29 +0000 |
|---|---|---|
| committer | rms <rms@138bc75d-0d04-0410-961f-82ee72b054a4> | 1994-10-04 09:12:29 +0000 |
| commit | 0bcc064d195cb34a74b3f915cb03c3f36a5b7fe0 (patch) | |
| tree | 2a1e4221d772d037c9f1c3eaeea8fbe7432ded39 | |
| parent | 22126bcf4567557a8248d3ae5541795241ca2895 (diff) | |
| download | gcc-0bcc064d195cb34a74b3f915cb03c3f36a5b7fe0.tar.gz | |
Translate -gnu/linux* to -linux*.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@8210 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 61bd8d5e2a0..3893f4f4c9f 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. |