ftp://ftp.de.debian.org/debian/pool/main/p/prelude-manager/prelude-manager_5.2.0.orig.tar.gz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp -j4 prelude-manager-5.2.0/plugins/reports/script/script.c:195:9: information: --check-library: There is no matching configuration for function prelude_linked_object_add_tail() [checkLibraryFunction] prelude-manager-5.2.0/plugins/reports/script/script.c:233:17: information: --check-library: There is no matching configuration for function prelude_linked_object_add_tail() [checkLibraryFunction] prelude-manager-5.2.0/plugins/reports/script/script.c:197:9: information: --check-library: Function prelude_linked_object_add_tail() should have / configuration [checkLibraryUseIgnore] prelude-manager-5.2.0/src/bufpool.c:231:17: information: --check-library: There is no matching configuration for function prelude_linked_object_add_tail() [checkLibraryFunction]