Translate -gnu/linux* to -linux*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@8210 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/config.sub b/gcc/config.sub
index 61bd8d5..3893f4f 100755 (executable)
--- 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.