diff options
Diffstat (limited to 'production/build_eclipse_org.shsource')
| -rw-r--r-- | production/build_eclipse_org.shsource | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/build_eclipse_org.shsource b/production/build_eclipse_org.shsource index 4dfac5aa5..0bc6b885e 100644 --- a/production/build_eclipse_org.shsource +++ b/production/build_eclipse_org.shsource @@ -96,7 +96,7 @@ export PATH=$JAVA_HOME/bin:$MAVEN_PATH:$ANT_HOME/bin:$PATH # Only used to start antrunner for tests. # TODO: avoid this hard coding -BASEBUILDER_TAG=4.12 +BASEBUILDER_TAG=4.13 B_GIT_EMAIL=genie.releng@eclipse.org B_GIT_NAME="Releng HIPP" |