scala/jenkins-scripts — pull request #6 by dotta (2013-08-08 21:32:25+00:00)
Title: Added `sbt-legacy` profile for building IDE to accomodate https://githubcom/scala-ide/scala-ide/pull/472

This PR should be merged at the exact same time of https://github.com/scala-ide/scala-ide/pull/472, or the Scala/IDE script will start failing to build.