Fix the build for 2.11 #464

Merged
merged 2 commits into from Jul 11, 2013

Conversation

Projects
None yet
3 participants
Owner

dragos commented Jul 11, 2013

Using @adriaanm's commits, this should fix the build for Scala master (and fix all the failed PR builds once merged).

Owner

dragos commented Jul 11, 2013

Unfortunately I didn't realize this breaks the 2.10.x build. I'll follow up with a fix.

Owner

dragos commented Jul 11, 2013

retest this please

Owner

dragos commented Jul 11, 2013

It seems that git push --force confuses the new bot. I filed a ticket. The validator succeeded.

Owner

skyluc commented Jul 11, 2013

LGTM

dragos added a commit that referenced this pull request Jul 11, 2013

@dragos dragos merged commit e1bba28 into scala-ide:master Jul 11, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment