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