From 0bcc064d195cb34a74b3f915cb03c3f36a5b7fe0 Mon Sep 17 00:00:00 2001
From: rms <rms@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 4 Oct 1994 09:12:29 +0000
Subject: Translate -gnu/linux* to -linux*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@8210 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/config.sub | 3 +++
 1 file changed, 3 insertions(+)

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.
-- 
cgit v1.2.1