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 /doc/plugin_tutorial/tuto1 | |
| 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 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions