diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-14 23:54:23 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-14 23:54:26 +0200 |
| commit | cd69dcafb7320d8cc31939fcd8dc8eab35a56941 (patch) | |
| tree | fe42106fed4bf57d31a1af26b53d32c9af05b515 /modules/mono/config.py | |
| parent | ba9486a4d30f1bef11ff3629af67a87c6264f569 (diff) | |
| download | redot-engine-cd69dcafb7320d8cc31939fcd8dc8eab35a56941.tar.gz | |
mono: Request monosgen-2 explicitly via pkg-config
Prevents GC mismatch between mono binary and library, fixes #11916.
Diffstat (limited to 'modules/mono/config.py')
| -rw-r--r-- | modules/mono/config.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/mono/config.py b/modules/mono/config.py index 9de199bb5a..13b9a4b1e6 100644 --- a/modules/mono/config.py +++ b/modules/mono/config.py @@ -130,7 +130,7 @@ def configure(env): if mono_static: raise RuntimeError('mono-static: Not supported with pkg-config. Specify a mono prefix manually') - env.ParseConfig('pkg-config mono-2 --cflags --libs') + env.ParseConfig('pkg-config monosgen-2 --cflags --libs') env.Append(LINKFLAGS='-rdynamic') |