diff options
| author | Jason Gross | 2020-05-06 11:56:24 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-05-06 11:58:12 -0400 |
| commit | 14ada0952a362968be1bfc2085ad1a233372e7ab (patch) | |
| tree | a89dacc51fa7ce8b1ed99e7867cbe022931ec0f2 /Makefile.build | |
| parent | bc79d319d38f766a6b7bbeb1f1071b046642089b (diff) | |
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.
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 4 |
1 files 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) |