From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 30 Oct 2003 05:50:36 +0000 (+0000)
Subject: Fix some bugs in the previous change.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=17bb591e8161a8f925d4239a8e5b040dc5842046;p=pspp

Fix some bugs in the previous change.
---

diff --git a/m4/host-os.m4 b/m4/host-os.m4
index 79799e65c6..f520e385a8 100644
--- a/m4/host-os.m4
+++ b/m4/host-os.m4
@@ -30,9 +30,10 @@ AC_DEFUN([UTILS_HOST_OS],
        openbsd*)	os='OpenBSD';;
        nsk*)		os='NonStop Kernel';;
        nonstopux*)	os='NonStop-UX';;
+       netbsd*-gnu)	os='GNU/NetBSD';; # NetBSD kernel+libc, GNU userland
        netbsd*)		os='NetBSD';;
-       knetbsd*-gnu*)	os='GNU/KNetBSD';;
-       kfreebsd*-gnu*)	os='GNU/KFreeBSD';;
+       knetbsd*-gnu)	os='GNU/KNetBSD';; # NetBSD kernel, GNU libc+userland
+       kfreebsd*-gnu)	os='GNU/KFreeBSD';; # FreeBSD kernel, GNU libc+userland
        msdosdjgpp*)	os='DJGPP';;
        mpeix*)		os='MPE/iX';;
        mint*)		os='MiNT';;