diff --git a/Makefile b/Makefile
index d3eef92db..6b5a020b3 100644
--- a/Makefile
+++ b/Makefile
@@ -147,8 +147,7 @@ coreall: runtime
 
 # Build the core system: the minimum needed to make depend and bootstrap
 .PHONY: core
-core:
-	$(MAKE) coldstart
+core: coldstart
 	$(MAKE) coreall
 
 # Check if fixpoint reached