diff options
| -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') |