X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Fuserspec.m4;h=04e0a230479013ca7248899466409a09cafaf504;hb=b96ebffa5a9a0ba39c89c1b519142a2c5d324a11;hp=df78b83cc324d6d783d6eec58c32d1144594f0b5;hpb=fa9635f22ac175bace582885ca780d3eb511b578;p=pspp

diff --git a/m4/userspec.m4 b/m4/userspec.m4
index df78b83cc3..04e0a23047 100644
--- a/m4/userspec.m4
+++ b/m4/userspec.m4
@@ -1,14 +1,13 @@
-# userspec.m4 serial 3
-dnl Copyright (C) 2002, 2003 Free Software Foundation, Inc.
-dnl This file is free software, distributed under the terms of the GNU
-dnl General Public License.  As a special exception to the GNU General
-dnl Public License, this file may be distributed as part of a program
-dnl that contains a configuration script generated by Autoconf, under
-dnl the same distribution terms as the rest of that program.
+# serial 10
+dnl Copyright (C) 2002-2006, 2009-2010 Free Software Foundation, Inc.
+dnl This file is free software; the Free Software Foundation
+dnl gives unlimited permission to copy and/or distribute it,
+dnl with or without modifications, as long as this notice is preserved.
 
 AC_DEFUN([gl_USERSPEC],
 [
+  AC_LIBOBJ([userspec])
+
   dnl Prerequisites of lib/userspec.c.
-  AC_REQUIRE([AC_FUNC_ALLOCA])
-  AC_CHECK_HEADERS_ONCE(sys/param.h unistd.h)
+  AC_CHECK_HEADERS_ONCE([sys/param.h])
 ])