Index: Makefile
===================================================================
--- Makefile	(revision 34e1206ec4dc79f0592077e3ee270fba91d1eb9d)
+++ Makefile	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -99,5 +99,5 @@
 
 # Pre-integration build check
-check: $(CHECK)
+check: ccheck $(CHECK)
 ifdef JOBS
 	$(CHECK) -j $(JOBS)