[PATCH] make config.sub recognize kminix*-gnu* as OS

[Andreas Grapentin]

Hello,

I'm trying to do a port of the GNU operating system to the Minix kernel,
and for that I need config.sub to recognize *-*-kminix*-gnu* as a host
triplet.

Is it okay to introduce that change into config.sub?

Thanks,
Andy

here's my patch:

--- config.sub.clean    2013-01-11 09:15:31.000000000 +0100
+++ config.sub  2013-01-11 09:16:22.000000000 +0100
@@ -128,6 +128,7 @@
   linux-uclibc* | uclinux-uclibc* | uclinux-gnu* | kfreebsd*-gnu* | \
   knetbsd*-gnu* | netbsd*-gnu* | \
   kopensolaris*-gnu* | \
+  kminix*-gnu* | \
   storm-chaos* | os2-emx* | rtmk-nova*)
     os=-$maybe_os
     basic_machine=`echo $1 | sed 's/^\(.*\)-\([^-]*-[^-]*\)$/\1/'`