scala/jenkins-scripts — pull request #9 by dotta (2013-08-14 14:25:39+00:00)
Title: Pass additional profile to IDE build to ignore known flaky tests

By passing the additional maven profile `skipFlakyTests`, tests that are known
to be flacky are ignored.

You can merge this PR at your earliest convenience. The additional profile will be simply ignored until https://github.com/scala-ide/scala-ide/pull/498 is merged. Hopefully, from now on all failures will be authentic.