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