Index: tools/ccheck.sh
===================================================================
--- tools/ccheck.sh	(revision e38ff160637d9169d43e3fccb9091511e0c29923)
+++ tools/ccheck.sh	(revision 83932dc9d1a3817203e9b972f966969ae565aaa0)
@@ -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)"