diff options
| author | Richard M. Stallman <rms@gnu.org> | 1994-10-04 09:12:29 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1994-10-04 09:12:29 +0000 |
| commit | 1a7b7710714144377ca9480b7bfdfb26e069e2f2 (patch) | |
| tree | a1d5506c76113aaf7bc0d560a0ec90a8a03d01ea /config.sub | |
| parent | b44573853b66003dc25ce0b2583d76ef3666022d (diff) | |
| download | emacs-1a7b7710714144377ca9480b7bfdfb26e069e2f2.tar.gz | |
Translate -gnu/linux* to -linux*.
Diffstat (limited to 'config.sub')
| -rwxr-xr-x | config.sub | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.sub b/config.sub index 61bd8d5e2a0..3893f4f4c9f 100755 --- a/config.sub +++ b/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. |