diff mx.graal/mx_graal_8.py @ 23307:c2e662ca2423

temporary workaround for pylint bug
author Manuel Rigger <rigger.manuel@gmail.com>
date Thu, 14 Jan 2016 18:02:54 +0100
parents 7c75cff3136c
children 0653faea0327
line wrap: on
line diff
--- a/mx.graal/mx_graal_8.py	Thu Jan 14 12:57:32 2016 +0100
+++ b/mx.graal/mx_graal_8.py	Thu Jan 14 18:02:54 2016 +0100
@@ -464,7 +464,7 @@
         jdk = _graal_jdks.get(vmbuild)
         if jdk is None:
             class GraalJDK8Config(JVMCIJDKConfig):
-                def __init__(self, vmbuild):
+                def __init__(self, vmbuild): # pylint: disable=super-init-not-called
                     JVMCIJDKConfig.__init__(self, vmbuild)
 
                 def parseVmArgs(self, args, addDefaultArgs=True):