From 4a51acc7cb9e5460f9ebdad5a956722117073b6c Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Tue, 4 Oct 1994 09:12:29 +0000 Subject: [PATCH] Translate -gnu/linux* to -linux*. --- config.sub | 3 +++ lib/config.sub | 3 +++ 2 files changed, 6 insertions(+) diff --git a/config.sub b/config.sub index 61bd8d5e..3893f4f4 100644 --- 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. diff --git a/lib/config.sub b/lib/config.sub index 61bd8d5e..3893f4f4 100644 --- a/lib/config.sub +++ b/lib/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. -- 2.43.5