?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge pull request #3220 from alexrp/master
[mono-project.git] / runtime / monodis-wrapper.in
blobcbde63109b12eea2f6fc52c7ecb07e933c097787
1 #! /bin/sh
2 r='@mono_build_root@'
3 MONO_CFG_DIR='@mono_cfg_dir@'
4 export MONO_CFG_DIR
5 exec "$r/libtool" --mode=execute -dlopen "$r/mono/mini/libmono-2.0.la" "$r/mono/dis/monodis" "$@"
Mirror of the official Mono project git repository