Index: Makefile
===================================================================
--- Makefile	(revision 05d97eef3c4b070607c4de6e90e345abe2b23619)
+++ Makefile	(revision 3f1a4818c8d7a210c6274be039dfa6b2a8dc3dbc)
@@ -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