Translate -gnu/linux* to -linux*.

1 files changed, 3 insertions, 0 deletions

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