diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-02-02 10:42:27 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-02-02 15:04:26 -0800 |
commit | 77ee308635e748b2159ea638a9e50dd1d4f1a848 (patch) | |
tree | 4d8ec5a41a840289d82c436d118cbcc6069333e5 /scripts | |
parent | 70f960cfd1d43ee1b873c22a471c8350a966b2a7 (diff) | |
download | scala-77ee308635e748b2159ea638a9e50dd1d4f1a848.tar.gz scala-77ee308635e748b2159ea638a9e50dd1d4f1a848.tar.bz2 scala-77ee308635e748b2159ea638a9e50dd1d4f1a848.zip |
Punt on IDE validation in 2.12.x...
... until https://github.com/scala-ide/uber-build/issues/48 is fixed.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/jobs/integrate/ide | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/jobs/integrate/ide b/scripts/jobs/integrate/ide index 5c1e6199e3..447f34f937 100755 --- a/scripts/jobs/integrate/ide +++ b/scripts/jobs/integrate/ide @@ -3,6 +3,9 @@ # requires env: scalaVersion (specifies binary already built from above checkout), WORKSPACE (provided by jenkins), repo_ref (HEAD of the scala checkout), # requires files: $baseDir/versions.properties (from checkout -- defines version numbers for modules used to build scala for dbuild...) +echo "IDE integration not yet available on 2.12.x. Punting." +exit 0 + # TODO: remove when integration is up and running if [ "woele$_scabot_last" != "woele1" ]; then echo "Scabot didn't mark this as last commit -- skipping."; exit 0; fi |