run.sh

   1 #!/usr/bin/env bash
   2
   3 working_tree_root="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
   4
   5 echo "Running init-tools.sh"
   6 $working_tree_root/init-tools.sh
   7
   8 # Always copy over the Tools-Override
   9 cp $working_tree_root/Tools-Override/* $working_tree_root/Tools > /dev/null
  10
  11 toolRuntime=$working_tree_root/Tools
  12 dotnet=$toolRuntime/dotnetcli/dotnet
  13
  14 echo "Running: $dotnet $toolRuntime/run.exe $working_tree_root/config.json $*"
  15 $dotnet $toolRuntime/run.exe $working_tree_root/config.json $*
  16 if [ $? -ne 0 ]
  17 then
  18     echo "ERROR: An error occured in $dotnet $toolRuntime/run $#. Check $# logs under $working_tree_root."
  19     exit 1
  20 fi
  21
  22 echo "Command successfully completed."
  23 exit 0