Index: Makefile
===================================================================
--- Makefile	(revision 687c3cd5921e1d47b5311bdcf4dfbc5f55ee093b)
+++ Makefile	(revision 4cac212c4712eb2b47dbe1538d4da0017288ff67)
@@ -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