diff options
Diffstat (limited to 'bootstrap/wgetFresh.sh')
-rwxr-xr-x | bootstrap/wgetFresh.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bootstrap/wgetFresh.sh b/bootstrap/wgetFresh.sh index ca37fabad..bffbffdb1 100755 --- a/bootstrap/wgetFresh.sh +++ b/bootstrap/wgetFresh.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 GIT_HOST=${GIT_HOST:-"git.eclipse.org"} |