diff options
| author | Juan Linietsky | 2017-11-01 23:12:28 -0300 |
|---|---|---|
| committer | Juan Linietsky | 2017-11-01 23:13:27 -0300 |
| commit | 79f81b77e2160fd4fb490b9e8e05636de70174bf (patch) | |
| tree | e1596942656e0e6d9249e3f1921530edc40824fd /modules/mono/config.py | |
| parent | 93a3d1714ee9b1535ac8f902bd7b2b3135712b90 (diff) | |
| download | godot-79f81b77e2160fd4fb490b9e8e05636de70174bf.tar.gz godot-79f81b77e2160fd4fb490b9e8e05636de70174bf.tar.zst godot-79f81b77e2160fd4fb490b9e8e05636de70174bf.zip | |
Diffstat (limited to 'modules/mono/config.py')
| -rw-r--r-- | modules/mono/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/mono/config.py b/modules/mono/config.py index 44eef45f7..7ad135e0b 100644 --- a/modules/mono/config.py +++ b/modules/mono/config.py @@ -47,6 +47,7 @@ def copy_file_no_replace(src_dir, dst_dir, name): def configure(env): env.use_ptrcall = True + env.add_module_version_string("mono") envvars = Variables() envvars.Add(BoolVariable('mono_static', 'Statically link mono', False)) |