diff options
| author | David Williams | 2016-05-10 20:06:18 +0000 |
|---|---|---|
| committer | David Williams | 2016-05-10 20:06:18 +0000 |
| commit | 1f45c53123d4d7c06fdaf675b3d88bd66530ae9c (patch) | |
| tree | 80e0c73380d9ac5991fbe23ed46b9081c3528a94 /production/build-functions.shsource | |
| parent | ea87a213e88d97b56965446953fef38eb14f1de0 (diff) | |
| download | eclipse.platform.releng.aggregator-1f45c53123d4d7c06fdaf675b3d88bd66530ae9c.tar.gz eclipse.platform.releng.aggregator-1f45c53123d4d7c06fdaf675b3d88bd66530ae9c.tar.xz eclipse.platform.releng.aggregator-1f45c53123d4d7c06fdaf675b3d88bd66530ae9c.zip | |
[releng] add error checking for bullet proofing
Diffstat (limited to 'production/build-functions.shsource')
| -rwxr-xr-x | production/build-functions.shsource | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/production/build-functions.shsource b/production/build-functions.shsource index 66376dda6..0c6b295f0 100755 --- a/production/build-functions.shsource +++ b/production/build-functions.shsource @@ -3,6 +3,13 @@ # General purpose utilities related to git and similar, # to be sourced where needed +if [[ -z "${SCRIPT_PATH}" ]] +then + echo -e "\n\t[ERROR] SCRIPT_PATH is not defined as expected in ${0##*/}" + exit 1 +else + echo -e "\n\t[INFO] SCRIPT_PATH defined as ${SCRIPT_PATH}" +fi source ${SCRIPT_PATH}/bashUtilities.shsource source ${SCRIPT_PATH}/bootstrapVariables.shsource |