Translate -gnu/linux* to -linux*.
authorrms <rms>
Tue, 4 Oct 1994 09:12:29 +0000 (09:12 +0000)
committerrms <rms>
Tue, 4 Oct 1994 09:12:29 +0000 (09:12 +0000)
config.sub

index 61bd8d5..3893f4f 100755 (executable)
@@ -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.