diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-09-25 11:05:28 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-09-25 11:08:01 +0200 |
| commit | cfd564b385f261d790d52c58be9344adf7d74f0e (patch) | |
| tree | bdbb19b4cb3207e49a82a8ea123320c88ad4d263 /modules/mono/build_scripts | |
| parent | 9f8a923b92cc91199dc8a95694242aeda9e6fd49 (diff) | |
Enable the `copy_mono_root` SCons option by default
This closes #41652.
Diffstat (limited to 'modules/mono/build_scripts')
| -rw-r--r-- | modules/mono/build_scripts/mono_configure.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/modules/mono/build_scripts/mono_configure.py b/modules/mono/build_scripts/mono_configure.py index e959312393..6057004166 100644 --- a/modules/mono/build_scripts/mono_configure.py +++ b/modules/mono/build_scripts/mono_configure.py @@ -396,9 +396,8 @@ def configure(env, env_mono): mono_root = subprocess.check_output(["pkg-config", "mono-2", "--variable=prefix"]).decode("utf8").strip() if tools_enabled: + # Only supported for editor builds. copy_mono_root_files(env, mono_root) - else: - print("Ignoring option: 'copy_mono_root'; only available for builds with 'tools' enabled.") def make_template_dir(env, mono_root): |