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