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/os/shell.cpp | |
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/os/shell.cpp')
0 files changed, 0 insertions, 0 deletions