You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: scripts/jobs/integrate/ide
+3Lines changed: 3 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -3,6 +3,9 @@
3
3
# requires env: scalaVersion (specifies binary already built from above checkout), WORKSPACE (provided by jenkins), repo_ref (HEAD of the scala checkout),
4
4
# requires files: $baseDir/versions.properties (from checkout -- defines version numbers for modules used to build scala for dbuild...)
5
5
6
+
echo"IDE integration not yet available on 2.12.x. Punting."
7
+
exit 0
8
+
6
9
# TODO: remove when integration is up and running
7
10
if [ "woele$_scabot_last"!="woele1" ];thenecho"Scabot didn't mark this as last commit -- skipping.";exit 0;fi
0 commit comments