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 /include | |
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 'include')
-rw-r--r-- | include/manconfig.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/include/manconfig.h b/include/manconfig.h index feebd208..610a73b3 100644 --- a/include/manconfig.h +++ b/include/manconfig.h @@ -151,14 +151,6 @@ # define GNUC_PREREQ(maj,min) 0 #endif -/* If running checker, support the garbage detector, else don't */ -#ifdef __CHECKER__ -extern void __chkr_garbage_detector (void); -# define chkr_garbage_detector() __chkr_garbage_detector() -#else -# define chkr_garbage_detector() -#endif - /* GNU gettext needs to know when the locale changes. This macro tells it. */ #ifdef ENABLE_NLS extern int _nl_msg_cat_cntr; |