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/publish-eclipse.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/publish-eclipse.sh')
-rw-r--r-- | production/publish-eclipse.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/publish-eclipse.sh b/production/publish-eclipse.sh index b542359da..c8b0d5b27 100644 --- a/production/publish-eclipse.sh +++ b/production/publish-eclipse.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # if [ $# -ne 1 ]; then |