X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Fwrite-any-file.m4;h=66c1476c0db6ff57e0bd2db4d915643c26ddafd2;hb=f31c6659ff5029b75863b7cb66243e56d246810a;hp=26c6ce05da46ca2a6ad29567538290f19992b321;hpb=6bfbb0d1d8f2818625bbf0cd3c4010f9c6d53ebd;p=pspp

diff --git a/m4/write-any-file.m4 b/m4/write-any-file.m4
index 26c6ce05da..66c1476c0d 100644
--- a/m4/write-any-file.m4
+++ b/m4/write-any-file.m4
@@ -1,6 +1,6 @@
 # Determine whether we can write any file.
 
-# Copyright (C) 2007 Free Software Foundation, Inc.
+# Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 #
 # This file is free software; the Free Software Foundation
 # gives unlimited permission to copy and/or distribute it,
@@ -10,6 +10,6 @@
 
 AC_DEFUN([gl_WRITE_ANY_FILE],
 [
-  AC_CHECK_HEADERS_ONCE(priv.h)
+  AC_CHECK_HEADERS_ONCE([priv.h])
   AC_LIBOBJ([write-any-file])
 ])