Build #520

Parameters
 BUILD_TYPE
  • N - Nightly build
  • I - Interim / Integration build
  • S - Stable build
  • R - Release build
 BUILD_ALIAS
Set an alias like 6.12.0M1 and BUILD_TYPE = S to build a milestone or an alias like 6.12.0 and BUILD_TYPE = R to build the release.
 JAVADOC
Select the "javadoc" profile to generate and consequently promote Javadoc. Javadoc should normally be regenerated as part of a final RC build.
 PDFDOC
Select the "pdfdoc" profile to copy and consequently promote the PDF doc. The PDF doc should normally be manually regenerated and committed to GIT before promotion as part of a final RC build.
 GOAL
Whether to build-and-test, or build-and-test-and-deploy to repo.eclipse.org. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=562307 for what needs to be done to make deploy work.