scala-ide/scala-ide — pull request #846 by dragos (2014-10-27 14:22:23+00:00)
Title: Create a build marker when a project is not built due to upstream errors...

....

Fixed #1002320