diff options
Diffstat (limited to 'modules/mono')
| -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 44eef45f76..7ad135e0b9 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)) |