3 working_tree_root="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
5 echo "Running init-tools.sh"
6 source $working_tree_root/init-tools.sh
8 toolRuntime=$working_tree_root/Tools
9 dotnet=$toolRuntime/dotnetcli/dotnet
11 echo "Running: $dotnet $@"
15 echo "ERROR: An error occurred in $dotnet $@. Check logs under $working_tree_root."
19 echo "Command successfully completed."