Index: Makefile
===================================================================
--- Makefile	(revision 98a4e76b4160ea2db9e82981125a143f0b747421)
+++ Makefile	(revision bfd1546e49e40fb980d45ced0b409578ba8ab3ef)
@@ -30,18 +30,15 @@
 #
 
--include Makefile.config
+.PHONY: all config distclean clean cscope
 
-.PHONY: all build config distclean clean cscope
-
-all:
-	tools/config.py HelenOS.config default
-	$(MAKE) -C . build
-
-build: Makefile.config config.h config.defs
+all: Makefile.config config.h config.defs
 	$(MAKE) -C kernel
 	$(MAKE) -C uspace
 	$(MAKE) -C boot
 
-config: HelenOS.config
+Makefile.config config.h config.defs: HelenOS.config
+	tools/config.py HelenOS.config default
+
+config:
 	tools/config.py HelenOS.config