Index: Makefile
===================================================================
--- Makefile	(revision 4cac212c4712eb2b47dbe1538d4da0017288ff67)
+++ Makefile	(revision 7591b27d9ca3ed6cb1188435576d006eceb2c7d3)
@@ -30,5 +30,5 @@
 #
 
-.PHONY: all config distclean clean cscope
+.PHONY: all config config_default distclean clean cscope
 
 all: Makefile.config config.h config.defs
@@ -37,8 +37,14 @@
 	$(MAKE) -C boot
 
-Makefile.config config.h config.defs: HelenOS.config
+Makefile.config: config_default
+
+config.h: config_default
+
+config.defs: config_default
+
+config_default: HelenOS.config
 	tools/config.py HelenOS.config default
 
-config:
+config: HelenOS.config
 	tools/config.py HelenOS.config