From: Richard M. Stallman <rms@gnu.org>
Date: Tue, 4 Oct 1994 09:12:29 +0000 (+0000)
Subject: Translate -gnu/linux* to -linux*.
X-Git-Tag: fsf-origin~412
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9a328ca9e783f85f701896c9c8d40ebf6274b717;p=thirdparty%2Fautoconf.git

Translate -gnu/linux* to -linux*.
---

diff --git a/config.sub b/config.sub
index 61bd8d5e2..3893f4f4c 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.