diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2016-04-28 08:44:54 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan@lightbend.com> | 2016-04-28 08:44:54 -0700 |
commit | cf3850626a62ce7aefad129b3af5c8184c7226a6 (patch) | |
tree | 6193b2ded60ddde5fc39a7f6051fd0e54baae785 /scripts | |
parent | 2dd311f0d6d9c17d4d57d70ad6f7706b552849ef (diff) | |
parent | 3d1b26140c9e3b42e38ad2cf23507f89764036e9 (diff) | |
download | scala-cf3850626a62ce7aefad129b3af5c8184c7226a6.tar.gz scala-cf3850626a62ce7aefad129b3af5c8184c7226a6.tar.bz2 scala-cf3850626a62ce7aefad129b3af5c8184c7226a6.zip |
Merge pull request #5139 from SethTisue/disable-integrate-ide
disable integrate/ide script on 2.11.x
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/jobs/integrate/ide | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/jobs/integrate/ide b/scripts/jobs/integrate/ide index 1651ad2892..ea7d746822 100755 --- a/scripts/jobs/integrate/ide +++ b/scripts/jobs/integrate/ide @@ -3,6 +3,10 @@ # 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 disabled for now on 2.11.x. Punting." +echo "see https://github.com/scala/scala-dev/issues/104" +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 |