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