diff options
author | Colin Watson <cjwatson@debian.org> | 2022-01-16 15:41:47 +0000 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2022-01-16 15:41:47 +0000 |
commit | b79d37d8eb109c2b8da8b6d25b942b5677c53d02 (patch) | |
tree | 9a6b07bed86e2904011c72382a731ceb387658ad /Makefile.am | |
parent | 3c7cbd0cf391f5dde60d9420f8ee1f598de5f86c (diff) |
Remove Checker support
The GNU Checker package was last released in 2005, and its web page
(https://www.gnu.org/software/checker/) says that it has been
decommissioned in favour of Valgrind.
* include/manconfig.h (chkr_garbage_detector): Remove.
* src/man.c (main): Remove call to chkr_garbage_detector.
* src/mandb.c (main): Likewise.
* src/whatis.c (search): Likewise.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions