diff options
| author | David Williams | 2014-09-09 06:43:30 +0000 |
|---|---|---|
| committer | David Williams | 2014-09-09 06:43:30 +0000 |
| commit | 9e959ec25c1afbb32537b8bda75d301e069af647 (patch) | |
| tree | 9044c525eea0902fa98373fe0c08d69b5d43c70f /production/publish-equinox.sh | |
| parent | 284a013c2305736db6597f6971c19ab177666183 (diff) | |
| download | eclipse.platform.releng.aggregator-9e959ec25c1afbb32537b8bda75d301e069af647.tar.gz eclipse.platform.releng.aggregator-9e959ec25c1afbb32537b8bda75d301e069af647.tar.xz eclipse.platform.releng.aggregator-9e959ec25c1afbb32537b8bda75d301e069af647.zip | |
[releng] Correct case for local build properties
Diffstat (limited to 'production/publish-equinox.sh')
| -rw-r--r-- | production/publish-equinox.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/production/publish-equinox.sh b/production/publish-equinox.sh index 541e94d27..ca2082ec5 100644 --- a/production/publish-equinox.sh +++ b/production/publish-equinox.sh @@ -1,8 +1,8 @@ #!/usr/bin/env bash # -# this localbuildproperties.shsource file is to ease local builds to override some variables. +# this localBuildProperties.shsource file is to ease local builds to override some variables. # It should not be used for production builds. -source localbuildproperties.shsource 2>/dev/null +source localBuildProperties.shsource 2>/dev/null export BUILD_HOME=${BUILD_HOME:-/shared/eclipse/builds} |