Index: Makefile
===================================================================
--- Makefile	(revision 492467587cb8989104cd9a10599a788f06b0a931)
+++ Makefile	(revision 3c11713f9fe58a2b3a19f2e9e4bfc0f709a63c2e)
@@ -31,17 +31,15 @@
 
 CSCOPE = cscope
-STANSE = stanse
+CONFIG = tools/config.py
 
-.PHONY: all config config_default distclean clean cscope stanse
+.PHONY: all config config_default distclean clean cscope precheck
 
 all: Makefile.config config.h config.defs
-	$(MAKE) -C kernel
-	$(MAKE) -C uspace
-	$(MAKE) -C boot
+	$(MAKE) -C kernel PRECHECK=$(PRECHECK)
+	$(MAKE) -C uspace PRECHECK=$(PRECHECK)
+	$(MAKE) -C boot PRECHECK=$(PRECHECK)
 
-stanse: Makefile.config config.h config.defs
-	$(MAKE) -C kernel clean
-	$(MAKE) -C kernel EXTRA_TOOL=stanse
-	$(STANSE) --checker ReachabilityChecker --jobfile kernel/kernel.job
+precheck: clean
+	$(MAKE) all PRECHECK=y
 
 cscope:
@@ -55,8 +53,8 @@
 
 config_default: HelenOS.config
-	tools/config.py HelenOS.config default
+	$(CONFIG) HelenOS.config default
 
 config: HelenOS.config
-	tools/config.py HelenOS.config
+	$(CONFIG) HelenOS.config
 
 distclean: clean