From 14ada0952a362968be1bfc2085ad1a233372e7ab Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 6 May 2020 11:56:24 -0400
Subject: Fix #12211

I forgot to test #12211 sufficiently; it was emitting timing info
without saying which file was being timed, because the evaluation of
`$@` was performed at the definition of `OCAMLC`.  This fixes that issue
of 8bd559370f51d7cc1877380a5ad726da67ceb0fa by delaying the evaluation
of the definitions of `OCAMLC` and `OCAMLOPT` to the running of the
recipies.
---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index cf9141853d..3140df4cee 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -249,8 +249,8 @@ MLINCLUDES=$(LOCALINCLUDES)
 
 USERCONTRIBINCLUDES=$(addprefix -I user-contrib/,$(USERCONTRIBDIRS))
 
-OCAMLC := $(TIMER) $(OCAMLFIND) ocamlc $(CAMLFLAGS)
-OCAMLOPT := $(TIMER) $(OCAMLFIND) opt $(CAMLFLAGS)
+OCAMLC = $(TIMER) $(OCAMLFIND) ocamlc $(CAMLFLAGS)
+OCAMLOPT = $(TIMER) $(OCAMLFIND) opt $(CAMLFLAGS)
 
 BYTEFLAGS=$(CAMLDEBUG) $(USERFLAGS)
 OPTFLAGS=$(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS) $(FLAMBDA_FLAGS)
-- 
cgit v1.2.3