diff options
| author | Lakshmi Priya Sekar <lasekar@microsoft.com> | 2016-07-14 15:42:33 -0700 |
|---|---|---|
| committer | Lakshmi Priya Sekar <lasekar@microsoft.com> | 2016-07-29 17:47:37 -0700 |
| commit | f5afe9b479acea4d2f4c80d0b86b8db6a869ff96 (patch) | |
| tree | 3fd39ea446a193bcea48238fd866ec4d64253b3b /run.sh | |
| parent | f9350e92692fbc6972138115bfc5336750da9069 (diff) | |
| download | coreclr-f5afe9b479acea4d2f4c80d0b86b8db6a869ff96.tar.gz coreclr-f5afe9b479acea4d2f4c80d0b86b8db6a869ff96.tar.bz2 coreclr-f5afe9b479acea4d2f4c80d0b86b8db6a869ff96.zip | |
Use run tool in coreclr dev workflow.
Diffstat (limited to 'run.sh')
| -rw-r--r-- | run.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/run.sh b/run.sh new file mode 100644 index 0000000000..1c9299ae17 --- /dev/null +++ b/run.sh @@ -0,0 +1,20 @@ +#!/usr/bin/env bash + +working_tree_root="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" + +echo "Running init-tools.sh" +$working_tree_root/init-tools.sh + +toolRuntime=$working_tree_root/Tools +dotnet=$toolRuntime/dotnetcli/dotnet + +echo "Running: $dotnet $toolRuntime/run.exe $*" +$dotnet $toolRuntime/run.exe $* +if [ $? -ne 0 ] +then + echo "ERROR: An error occured in $dotnet $toolRuntime/run $#. Check $# logs under $working_tree_root." + exit 1 +fi + +echo "Command successfully completed." +exit 0 |