Makefile: avoid one recursive invocation of make

The `core` target can depend on `coldstart` rather than invoking `$(MAKE) coldstart` as its first command.
2020-06-05 12:51:06 +02:00 · 2020-06-05 12:51:06 +02:00 · 2ee6e82925
parent 1c158f4227
commit 2ee6e82925
1 changed files with 1 additions and 2 deletions
--- a/3
+++ b/3
@ -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