2014-08-13 10:39:27 +01:00
|
|
|
#! /bin/sh
|
|
|
|
r='@mono_build_root@'
|
|
|
|
MONO_CFG_DIR='@mono_cfg_dir@'
|
2015-08-26 07:17:56 -04:00
|
|
|
export MONO_CFG_DIR
|
2014-08-13 10:39:27 +01:00
|
|
|
exec "$r/libtool" --mode=execute -dlopen "$r/mono/mini/libmono-2.0.la" "$r/mono/dis/monodis" "$@"
|