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