diff options
| author | Siva Velusamy <vsiva@google.com> | 2014-07-23 11:42:48 -0700 |
|---|---|---|
| committer | Siva Velusamy <vsiva@google.com> | 2014-07-23 11:42:48 -0700 |
| commit | 61ede7ab6ed960674ec12e97b28698dae0c4d5e2 (patch) | |
| tree | 387cd7f0d655d442a2b9fa032c35d0f461ea7914 /servers/build_tools.sh | |
| parent | 02b08cceae50a4152671dd64d7a34f06a7e5ddec (diff) | |
| download | buildSrc-61ede7ab6ed960674ec12e97b28698dae0c4d5e2.tar.gz | |
build script: Add "set -e" to quit on error
Change-Id: I823ba90f43511856f96d9a8bde40e3ac275a8654
Diffstat (limited to 'servers/build_tools.sh')
| -rwxr-xr-x | servers/build_tools.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/servers/build_tools.sh b/servers/build_tools.sh index ff0c433..5920521 100755 --- a/servers/build_tools.sh +++ b/servers/build_tools.sh @@ -5,6 +5,8 @@ # $3 = build_number # $4 = number of --parallel-thread (optional) +set -e + PROG_DIR=$(dirname "$0") CURRENT_OS=$(uname | tr A-Z a-z) |