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])