Index: Makefile
===================================================================
--- Makefile	(revision 218e50c7a52d90a76c3bc3e3a344733f5eeccfa0)
+++ Makefile	(revision 025759cdc4055ca51d57f936b27dc11c8f46f1b3)
@@ -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: