From: Simon Josefsson Date: Mon, 9 May 2011 07:07:13 +0000 (+0200) Subject: gc: Remove gl_PREREQ_GC (not used). X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d370afedf47ca1e969a4ef9349f5110d0359c9af;p=pspp gc: Remove gl_PREREQ_GC (not used). * m4/gc.m4: Remove gl_PREREQ_GC (not used). Reported by Bruno Haible . --- diff --git a/ChangeLog b/ChangeLog index 59d0b92481..f7e0a330bd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2011-05-09 Simon Josefsson + + * m4/gc.m4: Remove gl_PREREQ_GC (not used). Reported by Bruno + Haible . + 2011-05-08 Bruno Haible Comments. diff --git a/m4/gc.m4 b/m4/gc.m4 index a309010eb7..976c0d966d 100644 --- a/m4/gc.m4 +++ b/m4/gc.m4 @@ -1,4 +1,4 @@ -# gc.m4 serial 6 +# gc.m4 serial 7 dnl Copyright (C) 2005-2006, 2009-2011 Free Software Foundation, Inc. dnl This file is free software; the Free Software Foundation dnl gives unlimited permission to copy and/or distribute it, @@ -18,10 +18,3 @@ AC_DEFUN([gl_GC], AC_LIBOBJ([gc-gnulib]) fi ]) - -# Prerequisites of lib/gc.h -AC_DEFUN([gl_PREREQ_GC], -[ - AC_REQUIRE([AC_C_RESTRICT]) - : -])