mdtool.in « main - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

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

mdtool.in « main - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/monodevelop.git

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

www-data

summary refs log tree commit diff

path: root/main/mdtool.in

blob: 30f44c99e218257bded7e7b68b3375e52224b0f6 (plain)

#!/bin/bash

#this script should be in $PREFIX/bin
MONO_EXEC="exec -a mdtool mono"
EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdrun.exe"

##NOTE: remove this for stable releases
if [ -z "$MD_NO_DEBUG" ]; then
	_MONO_OPTIONS=${MONO_OPTIONS:---debug}
else
	_MONO_OPTIONS=$MONO_OPTIONS
fi

$MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" "$@"