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