Index: Makefile
===================================================================
--- Makefile	(revision 05d97eef3c4b070607c4de6e90e345abe2b23619)
+++ Makefile	(revision 095ed4a4a5ddf557d343fea0988b25a4e6647b15)
@@ -27,5 +27,4 @@
 #
 
-CCHECK = tools/sycek/ccheck
 CSCOPE = cscope
 FORMAT = clang-format
@@ -50,9 +49,9 @@
 	find abi kernel boot uspace -type f -regex '^.*\.[ch]$$' | xargs $(FORMAT) -i -sort-includes -style=file
 
-ccheck: $(CCHECK)
+ccheck:
 	cd tools && ./build-ccheck.sh
 	tools/ccheck.sh
 
-ccheck-fix: $(CCHECK)
+ccheck-fix:
 	cd tools && ./build-ccheck.sh
 	tools/ccheck.sh --fix