[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago
From: |
Paul Eggert |
Subject: |
Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago |
Date: |
27 Oct 2003 19:11:59 -0800 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
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';;
- [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Robert Millan, 2003/10/27
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago,
Paul Eggert <=
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Robert Millan, 2003/10/28
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Paul Eggert, 2003/10/28
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Robert Millan, 2003/10/28
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Paul Eggert, 2003/10/30
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Robert Millan, 2003/10/30
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Paul Eggert, 2003/10/30
- Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Robert Millan, 2003/10/30
Re: [PATCH] ping on GNU/KFreeBSD patch sent a while ago, Robert Millan, 2003/10/28