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