17 lines
356 B
Bash
Executable File
17 lines
356 B
Bash
Executable File
#!/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 $?
|