Index: Makefile
===================================================================
--- Makefile	(revision 231fcb23cee33316ea3e310a65aa685ed0fc8538)
+++ Makefile	(revision a710680c4299b4bf82de04a739448ab83fc1b87f)
@@ -121,5 +121,5 @@
 
 all:
-	tools/config.py HelenOS.config default
+	tools/config.py HelenOS.config default $(PLATFORM) $(COMPILER) $(CONFIG_DEBUG)
 	$(MAKE) -C . build