# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1413879090 -7200
# Node ID 1700d12ba0ad4ab3b8b7cca8fa05c66e33b596f5
# Parent  6a2f814224b17af3e0dda82bb3e33d32a375e93b
Require pylint 1.1.x

diff -r 6a2f814224b1 -r 1700d12ba0ad mxtool/mx.py
--- a/mxtool/mx.py	Tue Oct 21 10:17:06 2014 +0200
+++ b/mxtool/mx.py	Tue Oct 21 10:11:30 2014 +0200
@@ -2941,8 +2941,8 @@
             log('could not determine pylint version from ' + output)
             return
         major, minor, micro = (int(m.group(1)), int(m.group(2)), int(m.group(3)))
-        if major < 1:
-            log('require pylint version >= 1 (got {0}.{1}.{2})'.format(major, minor, micro))
+        if major != 1 or minor != 1:
+            log('require pylint version = 1.1.x (got {0}.{1}.{2})'.format(major, minor, micro))
             return
     except BaseException:
         log('pylint is not available')