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/build_eclipse_org.shsource | |
| 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/build_eclipse_org.shsource')
| -rw-r--r-- | production/build_eclipse_org.shsource | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/production/build_eclipse_org.shsource b/production/build_eclipse_org.shsource index 55fa97336..d0e12c8fd 100644 --- a/production/build_eclipse_org.shsource +++ b/production/build_eclipse_org.shsource @@ -2,9 +2,9 @@ # default definitions for this branch -# 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} export BRANCH=${BRANCH:-master} |