diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-14 08:55:37 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-14 08:55:37 +0200 |
| commit | 695b8d254e508bb2023e21d7ffa99871c4095e94 (patch) | |
| tree | de880afc32ef2eb1c610c9a6188545b0bd0f8053 /modules/mono/config.py | |
| parent | c4e75aa63a6e1c823f825baeb7ba3876bfa16f05 (diff) | |
| download | redot-engine-695b8d254e508bb2023e21d7ffa99871c4095e94.tar.gz | |
SCons: Fix mono_root initialization
As advised by @neikeq.
Diffstat (limited to 'modules/mono/config.py')
| -rw-r--r-- | modules/mono/config.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modules/mono/config.py b/modules/mono/config.py index 7f226443a1..c4f8dcfde8 100644 --- a/modules/mono/config.py +++ b/modules/mono/config.py @@ -83,7 +83,8 @@ def configure(env): mono_lib_names = ['mono-2.0-sgen', 'monosgen-2.0'] if env['platform'] == 'windows': - mono_root = None + mono_root = '' + if bits == '32': if os.getenv('MONO32_PREFIX'): mono_root = os.getenv('MONO32_PREFIX') |