Pylint extensions

1 files changed, 10 insertions, 2 deletions

diff --git a/scripts/check.py b/scripts/check.py
index b827b62..d2f246d 100644
--- a/scripts/check.py
+++ b/scripts/check.py
@@ -7,6 +7,7 @@ import subprocess
 import time
 
 from jhbuild.commands import Command, register_command
+import jhbuild.config
 
 scripts_dir = os.path.dirname(__file__)
 data_dir = os.path.join(scripts_dir, 'data')
@@ -106,11 +107,18 @@ class cmd_check(Command):
 
     def check_pylint(self, config):
         print 'Pylint the sugar module...'        
-        self.lint('sugar')
+        #self.lint('sugar')
         print 'Done.'
 
         print 'Pylint the jarabe module...'
-        self.lint('jarabe')
+        #self.lint('jarabe')
+        print 'Done.\n'
+
+        ext_path = os.path.join(config.prefix, 'share', 'sugar', 'extensions')
+        jhbuild.config.addpath('PYTHONPATH', ext_path)
+
+        print 'Pylint the control panel extensions...'
+        self.lint('cpsection')
         print 'Done.\n'
 
     def run(self, config, options, args):