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

diff --git a/m4/userspec.m4 b/m4/userspec.m4
index 92a22d6059..04e0a23047 100644
--- a/m4/userspec.m4
+++ b/m4/userspec.m4
@@ -1,14 +1,13 @@
-#serial 8
-dnl Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
+# 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_LIBSOURCES([userspec.c, userspec.h, intprops.h])
   AC_LIBOBJ([userspec])
 
   dnl Prerequisites of lib/userspec.c.
-  AC_CHECK_HEADERS_ONCE(sys/param.h)
+  AC_CHECK_HEADERS_ONCE([sys/param.h])
 ])