# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1360330675 -3600
# Node ID 2d57a3bd82ab947ad9a218c7808915fef8cf583d
# Parent  142dffbd0a5dc793ab70ef33bfee2e9a3a3a68f0
Make gate fail on warnings

diff -r 142dffbd0a5d -r 2d57a3bd82ab mx/commands.py
--- a/mx/commands.py	Fri Feb 08 14:02:25 2013 +0100
+++ b/mx/commands.py	Fri Feb 08 14:37:55 2013 +0100
@@ -786,7 +786,7 @@
             tasks.append(t.stop())
         
         t = Task('BuildJava')
-        build(['--no-native'])
+        build(['--no-native', '--jdt-warning-as-error'])
         tasks.append(t.stop())
         
         if exists('jacoco.exec'):