Browse Source

* configure.in: Remove support for MAD and Electric Fence.
Developers should use modern memory debuggers (e.g. Valgrind).
* INSTALL: Remove references to MAD.

Pavel Roskin 22 years ago
parent
commit
5a7d67be72
3 changed files with 6 additions and 28 deletions
  1. 6 0
      ChangeLog
  2. 0 4
      INSTALL
  3. 0 24
      configure.in

+ 6 - 0
ChangeLog

@@ -1,3 +1,9 @@
+2002-08-01  Pavel Roskin  <proski@gnu.org>
+
+	* configure.in: Remove support for MAD and Electric Fence.
+	Developers should use modern memory debuggers (e.g. Valgrind).
+	* INSTALL: Remove references to MAD.
+
 2002-07-31  Pavel Roskin  <proski@gnu.org>
 
 	* syntax/html.syntax: Remove recognition for any individual

+ 0 - 4
INSTALL

@@ -78,10 +78,6 @@ the directory base where you installed the gpm package.
      Print the version of Autoconf used to generate the `configure'
      script, and exit.
 
-`--with-mad'
-     Enables the built-in memory allocation debugger.  This option is only
-     intended for the developers.
-
 `--without-edit'
      Configures the program to be compiled without the built-in file
      editor.  The built-in editor is compiled in by default.

+ 0 - 24
configure.in

@@ -500,30 +500,6 @@ subshell="$result"
 
 AC_DEFINE(REGEX_MALLOC, 1, [Define to make regex use malloc(), not alloca()])
 
-dnl
-dnl Memory Allocation Debugger
-dnl
-mem_debug="none"
-AC_ARG_WITH(mad,
-[--with-mad                 Developers only: activates MAD (memory debugger)],
-	[if test x$withval = xyes; then
-	mem_debug="Janne's MAD library"
-	AC_DEFINE(HAVE_MAD, 1,
-		  [Define to use Memory Allocation Debugger (MAD)])
-	AC_MSG_NOTICE([compiling with memory leak detector])
-fi])
-
-dnl
-dnl Electric Fence - another memory debugger
-dnl
-AC_ARG_WITH(efence, 
-[--with-efence              Developers only: activates Electric Fence],
-	[if test x$withval = xyes; then
-	LIBS="$LIBS -lefence"
-	AC_MSG_NOTICE([compiling with Electric fence])
-	mem_debug="Electric Fence"
-fi])
-
 if test "x$screen_type" != xncurses; then
 	slang_check_lib=true
 	slang_term=""