diff options
-rw-r--r-- | scripts/check.py | 11 |
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 |