ftp://ftp.de.debian.org/debian/pool/main/libr/librnd/librnd_3.1.2.orig.tar.bz2 cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp -j1 librnd-3.1.2/src/librnd/core/funchash.c:132:2: information: --check-library: There is no matching configuration for function htpi_set() [checkLibraryFunction] librnd-3.1.2/src/librnd/core/funchash.c:133:2: information: --check-library: Function htpi_set() should have / configuration [checkLibraryUseIgnore] ftp://ftp.de.debian.org/debian/pool/main/p/pcb-rnd/pcb-rnd_3.0.4.orig.tar.bz2 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 pcb-rnd-3.0.4/src_plugins/ar_cpcb/ar_cpcb.c:98:3: information: --check-library: There is no matching configuration for function htpi_set() [checkLibraryFunction]