From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sat, 16 Aug 2003 08:53:43 +0000 (+0000)
Subject: (UTILS_HOST_OS): Add GNU/NetBSD, GNU/FreeBSD.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=02e31368a1a3011aebad71228883f2309abc6e4e;p=pspp

(UTILS_HOST_OS): Add GNU/NetBSD, GNU/FreeBSD.
---

diff --git a/m4/host-os.m4 b/m4/host-os.m4
index a53692d557..fc9d06506f 100644
--- a/m4/host-os.m4
+++ b/m4/host-os.m4
@@ -1,4 +1,4 @@
-#serial 1
+#serial 3
 
 dnl From Paul Eggert.
 
@@ -30,6 +30,7 @@ AC_DEFUN([UTILS_HOST_OS],
        openbsd*)	os='OpenBSD';;
        nsk*)		os='NonStop Kernel';;
        nonstopux*)	os='NonStop-UX';;
+       netbsd*-gnu*)	os='GNU/NetBSD';;
        netbsd*)		os='NetBSD';;
        msdosdjgpp*)	os='DJGPP';;
        mpeix*)		os='MPE/iX';;
@@ -40,6 +41,7 @@ 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';;