Translate -gnu/linux* to -linux*.

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