From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 11 Aug 2003 17:45:27 +0000 (+0000)
Subject: Remove the gnu-source module.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6e63d77cc41fc545781e729ec370e9bd3b665ed5;p=pspp

Remove the gnu-source module.
---

diff --git a/ChangeLog b/ChangeLog
index 6e54895d07..5e097744dd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2003-08-11  Paul Eggert  <eggert@twinsun.com>
+
+	* modules/gnu-source, m4/gnu-source.m4:
+	Remove; we're assuming Autoconf 2.54 or later now.
+	Suggested by Bruno Haible.
+	* MODULES.html.sh (func_all_modules): Remove gnu-source.
+	
 2003-08-08  Paul Eggert  <eggert@twinsun.com>
 
 	* MODULES.html.sh (func_all_modules): Add extensions, gnu-source.
diff --git a/MODULES.html.sh b/MODULES.html.sh
index 36162a94d0..447506b133 100755
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -1889,7 +1889,6 @@ func_all_modules ()
   func_module getloadavg
   func_module getpagesize
   func_module getusershell
-  func_module gnu-source
   func_module physmem
   func_module posixver
   func_module quotearg
diff --git a/m4/gnu-source.m4 b/m4/gnu-source.m4
deleted file mode 100644
index edecf5ddb3..0000000000
--- a/m4/gnu-source.m4
+++ /dev/null
@@ -1,12 +0,0 @@
-# AC_GNU_SOURCE
-# --------------
-AC_DEFUN([AC_GNU_SOURCE],
-[AH_VERBATIM([_GNU_SOURCE],
-[/* Enable GNU extensions on systems that have them.  */
-#ifndef _GNU_SOURCE
-# undef _GNU_SOURCE
-#endif])dnl
-AC_BEFORE([$0], [AC_COMPILE_IFELSE])dnl
-AC_BEFORE([$0], [AC_RUN_IFELSE])dnl
-AC_DEFINE([_GNU_SOURCE])
-])
diff --git a/modules/gnu-source b/modules/gnu-source
deleted file mode 100644
index fc81d05c86..0000000000
--- a/modules/gnu-source
+++ /dev/null
@@ -1,18 +0,0 @@
-Description:
-Enable GNU extensions in standard headers
-
-Files:
-m4/gnu-source.m4
-
-Depends-on:
-
-configure.ac:
-AC_GNU_SOURCE
-
-Makefile.am:
-
-Include:
-
-Maintainer:
-Paul Eggert and Jim Meyering
-