Index: tools/ccheck.sh
===================================================================
--- tools/ccheck.sh	(revision e38ff160637d9169d43e3fccb9091511e0c29923)
+++ tools/ccheck.sh	(revision 275530a454965861e479aa95ade6e2c7ca531073)
@@ -40,5 +40,7 @@
 fcnt=0
 
-find abi kernel boot uspace -type f -regex '^.*\.[ch]$' | (
+find abi kernel boot uspace -type f -regex '^.*\.[ch]$' \
+  | grep -v -e '^uspace/lib/pcut/' \
+  | (
 while read fname; do
 	outfile="$(mktemp)"