Index: Makefile
===================================================================
--- Makefile	(revision 839470fe57530d3817745bc3323d249dae216918)
+++ Makefile	(revision 4acac8439ff99d7ea9865f2b81bc777c057b18c1)
@@ -50,6 +50,10 @@
 AFLAGS =
 
-ifdef TAG
-	DEFS += "-DTAG=\"$(TAG)\""
+ifdef REVISION
+	DEFS += "-DREVISION=\"$(REVISION)\""
+endif
+
+ifdef TIMESTAMP
+	DEFS += "-DTIMESTAMP=\"$(TIMESTAMP)\""
 endif
 
@@ -139,11 +143,11 @@
 GENARCH_OBJECTS := $(addsuffix .o,$(basename $(GENARCH_SOURCES)))
 
-.PHONY: all clean config links depend boot
+.PHONY: all build clean config links depend boot
 
 all:
 	tools/config.py default
-	$(MAKE) -C . real_all
-
-real_all: kernel.bin boot disasm
+	$(MAKE) -C . build
+
+build: kernel.bin boot disasm
 
 config: