checkergcc removed: no longer available, replaced by valgrind

This commit is contained in:
Holger Vogt 2018-08-05 11:05:10 +02:00
parent ed3a098e7e
commit a9c2077051
1 changed files with 0 additions and 11 deletions

View File

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