From a9c207705189cba1908e6a3635353bd6f5499a9e Mon Sep 17 00:00:00 2001 From: Holger Vogt Date: Sun, 5 Aug 2018 11:05:10 +0200 Subject: [PATCH] checkergcc removed: no longer available, replaced by valgrind --- configure.ac | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/configure.ac b/configure.ac index c1cde3c1c..36afe000f 100644 --- a/configure.ac +++ b/configure.ac @@ -101,10 +101,6 @@ AC_ARG_ENABLE([ansi], AC_ARG_ENABLE([gprof], [AS_HELP_STRING([--enable-gprof], [Produce gprof profiling data in 'gmon.out' (GCC only).])]) -# --enable-checker: add --with-checker-debug option to the compiler -AC_ARG_ENABLE([checker], - [AS_HELP_STRING([--enable-checkergcc], [Option for compilation with checkergcc])]) - # --enable-gc: Enable Boehm-Weiser Conservative Garbage Collector AC_ARG_ENABLE([checker], [AS_HELP_STRING([--enable-gc], [Use Boehm-Weiser Conservative Garbage Collector. Disabled by default.])]) @@ -260,13 +256,6 @@ if test "x$enable_gprof" = xyes; then fi fi - -# Not sure that this will work.... -if test "x$with_checkergcc" = xyes; then - CC="checkergcc" -fi - - # Checks for ANSI-C header files. AC_HEADER_STDC AC_CHECK_HEADERS([strings.h])