X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Fidcache.m4;h=dddf4e5895e464ec9757d9e68162419a5ae0f324;hb=8ac8d9b18d3367607ce7392bce008721728e4571;hp=5e41e6d7074f25a7823115639783e4d2d5f80e47;hpb=3030c5b5e0a5199e16b05927da72c43c42f211c3;p=pspp

diff --git a/m4/idcache.m4 b/m4/idcache.m4
index 5e41e6d707..dddf4e5895 100644
--- a/m4/idcache.m4
+++ b/m4/idcache.m4
@@ -1,10 +1,11 @@
-# idcache.m4 serial 6
-dnl Copyright (C) 2002-2003, 2005-2006, 2009 Free Software Foundation, Inc.
+# idcache.m4 serial 7
+dnl Copyright (C) 2002-2003, 2005-2006, 2009-2011 Free Software Foundation,
+dnl 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_IDCACHE],
 [
-  AC_LIBOBJ([idcache])
+  :
 ])