Index: Makefile
===================================================================
--- Makefile	(revision 218e50c7a52d90a76c3bc3e3a344733f5eeccfa0)
+++ Makefile	(revision c09adc10434b7de65842eae8fc63537922e8c7d6)
@@ -43,5 +43,5 @@
 	$(MAKE) -C kernel clean
 	$(MAKE) -C kernel EXTRA_TOOL=stanse
-	$(STANSE) --checker ReachabilityChecker --jobfile kernel/kernel.job
+	$(STANSE) --checker ReachabilityChecker --checker ThreadChecker:contrib/$(STANSE)/ThreadChecker.xml --jobfile kernel/kernel.job
 
 cscope: