2017-04-10 11:41:01 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
__scriptpath=$(cd "$(dirname "$0")"; pwd -P)
|
|
|
|
|
$__scriptpath/init-tools.sh
|
|
|
|
|
if [ $? -ne 0 ]; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2017-06-07 13:16:24 +00:00
|
|
|
# Always copy over the Tools-Override
|
|
|
|
|
cp $__scriptpath/Tools-Override/* $__scriptpath/Tools > /dev/null
|
|
|
|
|
|
2017-04-10 11:41:01 +00:00
|
|
|
__toolRuntime=$__scriptpath/Tools
|
|
|
|
|
__dotnet=$__toolRuntime/dotnetcli/dotnet
|
|
|
|
|
|
|
|
|
|
$__dotnet $__toolRuntime/run.exe $*
|
|
|
|
|
exit $?
|
