[Bug-gnulib] Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago

[Paul Eggert]

Robert Millan <address@hidden> writes:

>   http://mail.gnu.org/archive/html/bug-coreutils/2003-09/msg00032.html

I had let that slide; sorry.  I installed the following patch (which
is not quite the same as what you proposed, but looks more correct to
me) into gnulib, and it should percolate into coreutils soon.

2003-10-27  Paul Eggert  <address@hidden>

        * host-os.m4 (UTILS_HOST_OS): Identify GNU/KFreeBSD and
        GNU/KNetBSD using their new names (which have a "K" in front of
        the kernel name).  Requested by Richard Stallman.

Index: host-os.m4
===================================================================
RCS file: /cvsroot/gnulib/gnulib/m4/host-os.m4,v
retrieving revision 1.2
retrieving revision 1.3
diff -p -u -r1.2 -r1.3
--- host-os.m4  16 Aug 2003 08:53:43 -0000      1.2
+++ host-os.m4  28 Oct 2003 03:06:18 -0000      1.3
@@ -30,8 +30,9 @@ AC_DEFUN([UTILS_HOST_OS],
        openbsd*)       os='OpenBSD';;
        nsk*)           os='NonStop Kernel';;
        nonstopux*)     os='NonStop-UX';;
-       netbsd*-gnu*)   os='GNU/NetBSD';;
        netbsd*)                os='NetBSD';;
+       knetbsd*-gnu*)  os='GNU/KNetBSD';;
+       kfreebsd*-gnu*) os='GNU/KFreeBSD';;
        msdosdjgpp*)    os='DJGPP';;
        mpeix*)         os='MPE/iX';;
        mint*)          os='MiNT';;
@@ -41,7 +42,6 @@ AC_DEFUN([UTILS_HOST_OS],
        hpux*)          os='HP-UX';;
        hiux*)          os='HI-UX';;
        gnu*)           os='GNU';;
-       freebsd*-gnu*)  os='GNU/FreeBSD';;
        freebsd*)       os='FreeBSD';;
        dgux*)          os='DG/UX';;
        bsdi*)          os='BSD/OS';;