Pylint also device extensions.

1 files changed, 7 insertions, 4 deletions

diff --git a/scripts/check.py b/scripts/check.py
index d2f246d..9a61975 100644
--- a/scripts/check.py
+++ b/scripts/check.py
@@ -107,19 +107,22 @@ 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')
-        print 'Done.\n'
+        self.lint('jarabe')
+        print 'Done.'
 
         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'
+        print 'Done.'
+
+        print 'Pylint the device extensions...'
+        self.lint('deviceicon')
 
     def run(self, config, options, args):
         result = 0