blob: fe45f33e6fa73c1ff68f33eebcf90cfe28bc5c84 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
#!/bin/sh
reWrite() {
ret=""
WD=`pwd`
for arg in $*
do
if [ -f ./$arg ]
then
ret="$ret $WD/$arg"
else
ret="$ret $arg"
fi
done
echo "$ret"
}
MD_BIN_PATH=@prefix@/lib/monodevelop/bin
if [ -n $PKG_CONFIG_PATH ]; then
export PKG_CONFIG_PATH=$PKG_CONFIG_PATH:@gtksharp_prefix@/lib/pkgconfig/
else
export PKG_CONFIG_PATH=@gtksharp_prefix@/lib/pkgconfig/
fi
ARGS=`reWrite "$@"`
set -- $ARGS
case x$1 in
x--profile)
exec @RUNTIME@ --profile $MD_BIN_PATH/mdrun.exe $@
exit 0
;;
x--debug)
export MONODEVELOP_DISPATCH_DEBUG=yes
exec @RUNTIME@ --debug $MD_BIN_PATH/mdrun.exe $@
exit 0
;;
x--trace)
exec @RUNTIME@ --trace $MD_BIN_PATH/mdrun.exe $@
exit 0;
;;
esac
exec @RUNTIME@ $MD_BIN_PATH/mdrun.exe $@
|
