# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1378299390 -7200
# Node ID db297343d44e19b7477d6fb5134c7d7769d93d43
# Parent  75a7d4b79b29cd2bdc9b0966f49a04651f8931ae
added pylint to gate

diff -r 75a7d4b79b29 -r db297343d44e mx/commands.py
--- a/mx/commands.py	Wed Sep 04 14:54:48 2013 +0200
+++ b/mx/commands.py	Wed Sep 04 14:56:30 2013 +0200
@@ -981,6 +981,10 @@
     total = Task('Gate')
     try:
 
+        t = Task('Pylint')
+        pylint([])
+        tasks.append(t.stop())
+
         t = Task('Clean')
         cleanArgs = []
         if not args.cleanNative: