diff options
author | David Williams | 2013-03-27 22:55:35 +0000 |
---|---|---|
committer | David Williams | 2013-03-27 22:55:35 +0000 |
commit | dd6e95af830bcfeb6654550d1d59847f5e9ed4bd (patch) | |
tree | ad2cd7328187cd224cc275cd1a532214c9322b93 /production/parse-opts.sh | |
parent | 26b9495bdd16a3d08618f650f437bed03e07b51d (diff) | |
download | eclipse.platform.releng.aggregator-dd6e95af830bcfeb6654550d1d59847f5e9ed4bd.tar.gz eclipse.platform.releng.aggregator-dd6e95af830bcfeb6654550d1d59847f5e9ed4bd.tar.xz eclipse.platform.releng.aggregator-dd6e95af830bcfeb6654550d1d59847f5e9ed4bd.zip |
Bug 400633 - Need to exit build on (bad) errors and send mail
Diffstat (limited to 'production/parse-opts.sh')
-rw-r--r-- | production/parse-opts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/parse-opts.sh b/production/parse-opts.sh index f369c4bdc..751ceb77c 100644 --- a/production/parse-opts.sh +++ b/production/parse-opts.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # pushd $( dirname $0 ) >/dev/null |