Makefile: slightly improve the opt-core rule

2017-02-08 11:17:11 +01:00 · 2017-02-08 11:17:11 +01:00 · 4c9ac6d2bf
parent 7c988144bc
commit 4c9ac6d2bf
1 changed files with 1 additions and 2 deletions
--- a/3
+++ b/3
@ -427,8 +427,7 @@ cleanboot:

 # Compile the native-code compiler
 .PHONY: opt-core
-opt-core:
-	$(MAKE) runtimeopt
+opt-core: runtimeopt
 	$(MAKE) ocamlopt
 	$(MAKE) libraryopt