diff options
author | Mariana Rios Flores <mariari@microsoft.com> | 2016-07-28 18:55:07 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-28 18:55:07 +0300 |
commit | 7e2bd07936179c192e682d979b2938b4a7e32030 (patch) | |
tree | 82f02ba880212b2bba0fdef0ed42e7f37b075aab /run.sh | |
parent | a6e95d3db3e002b589176a107f7cc79520e37de4 (diff) |
Changing dev workflow scripts to use the Run Command Tool (#10231)
Changes to dev workflow scripts to use run command tool.
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/run.sh b/run.sh new file mode 100755 index 0000000000..64354936ff --- /dev/null +++ b/run.sh @@ -0,0 +1,14 @@ +#!/usr/bin/env bash + +__scriptpath=$(cd "$(dirname "$0")"; pwd -P) +$__scriptpath/init-tools.sh +if [ $? -ne 0 ]; then + exit 1 +fi + +__toolRuntime=$__scriptpath/Tools +__dotnet=$__toolRuntime/dotnetcli/dotnet + +echo Running: $__dotnet $__toolRuntime/run.exe $* +$__dotnet $__toolRuntime/run.exe $* +exit $? |