diff options
Diffstat (limited to 'production/sdk/promotion/runAntRunner.sh')
-rwxr-xr-x | production/sdk/promotion/runAntRunner.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/production/sdk/promotion/runAntRunner.sh b/production/sdk/promotion/runAntRunner.sh index 3f0a02b43..de8a4dce7 100755 --- a/production/sdk/promotion/runAntRunner.sh +++ b/production/sdk/promotion/runAntRunner.sh @@ -6,9 +6,9 @@ # the build file, if not build.xml, must be second argument # that can be followed be target or other arguments -# 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} # If used for other things, where a build doesn't exist, |