run.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#!/usr/bin/env bash

__scriptpath=$(cd "$(dirname "$0")"; pwd -P)
$__scriptpath/init-tools.sh
if [ $? -ne 0 ]; then
    exit 1
fi

# Always copy over the Tools-Override
cp $__scriptpath/Tools-Override/* $__scriptpath/Tools > /dev/null

__toolRuntime=$__scriptpath/Tools
__dotnet=$__toolRuntime/dotnetcli/dotnet

$__dotnet $__toolRuntime/run.exe $*
exit $?