diff options
| author | Miguel de Icaza <miguel@gnome.org> | 2005-04-27 02:25:36 +0400 |
|---|---|---|
| committer | Miguel de Icaza <miguel@gnome.org> | 2005-04-27 02:25:36 +0400 |
| commit | 0fe16ba8c391cc9dc50b06ad0312a53f6ecb8f7a (patch) | |
| tree | 4d7fda16756a3437a197732dad38efb4a7ab46ee /runtime | |
| parent | 50012a3a514eba2d4f3059f7aa9337573da13948 (diff) | |
Preload the path of Mono, that should fix the build
svn path=/trunk/mono/; revision=43629
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/monodis-wrapper.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/monodis-wrapper.in b/runtime/monodis-wrapper.in index 3d62405181e..974848b3c2f 100644 --- a/runtime/monodis-wrapper.in +++ b/runtime/monodis-wrapper.in @@ -3,4 +3,4 @@ r='@mono_build_root@' MONO_CFG_DIR='@mono_cfg_dir@' MONO_SHARED_DIR=$r/runtime export MONO_CFG_DIR MONO_SHARED_DIR -exec "$r/libtool" --mode=execute "$r/mono/dis/monodis" "$@" +exec "$r/libtool" --mode=execute -dlopen "$r/mono/mini/libmono.la" "$r/mono/dis/monodis" "$@" |