playframework/play — pull request #404 by godgard (2011-12-13 16:03:33+00:00)
Title: Failing WAR packaging in case of compilation error

Without this fix we were unable to configure Jenkins to fail in case of compilation error (i.e. some dependency changed, but code wasn't) -- `play war` always succeeded (exit code 0) and produced useless WAR.