diff options
| author | Andreas Haas <liu.gam3@gmail.com> | 2017-12-12 16:18:55 +0100 |
|---|---|---|
| committer | Andreas Haas <liu.gam3@gmail.com> | 2017-12-12 16:20:34 +0100 |
| commit | e7c1255b0688494033997eb1cf86afb8b7fc988a (patch) | |
| tree | 9a075108fc08fcff2819fe83b98359d1dcfa760c /core/helper | |
| parent | 55962ce28fec5f06016ed3f66f52e6e84b817dbe (diff) | |
Mono: Build in cloned env.
Use a cloned env, so that toggling glue_enabled doesn't force a full rebuild as mentioned in #14584.
Diffstat (limited to 'core/helper')
0 files changed, 0 insertions, 0 deletions