monodis-wrapper.in « runtime - github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

monodis-wrapper.in « runtime - github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/mono.git

Unnamed repository; edit this file 'description' to name the repository.

www-data

summary refs log tree commit diff

path: root/runtime/monodis-wrapper.in

blob: 974848b3c2f4f248d80e9b67e2f0d32c674774d3 (plain)

#! /bin/sh
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 -dlopen "$r/mono/mini/libmono.la" "$r/mono/dis/monodis" "$@"