From: Jim Meyering <jim@meyering.net>
Date: Sun, 23 Jan 2000 10:55:10 +0000 (+0000)
Subject: (jm_CHECK_ALL_TYPES): Require AC_HEADER_MAJOR and AC_HEADER_DIRENT.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=857ca943b2e977c2389352bdf94d7d5b145ad788;p=pspp

(jm_CHECK_ALL_TYPES): Require AC_HEADER_MAJOR and AC_HEADER_DIRENT.
---

diff --git a/m4/jm-macros.m4 b/m4/jm-macros.m4
index bf687039d8..6228aa4511 100644
--- a/m4/jm-macros.m4
+++ b/m4/jm-macros.m4
@@ -214,4 +214,8 @@ AC_DEFUN(jm_CHECK_ALL_TYPES,
 
   AC_REQUIRE([jm_AC_TYPE_UINTMAX_T])
   AC_REQUIRE([jm_AC_TYPE_UNSIGNED_LONG_LONG])
+
+  AC_REQUIRE([AC_HEADER_MAJOR])
+  AC_REQUIRE([AC_HEADER_DIRENT])
+
 ])