diff options
author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-04 23:06:34 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-04 23:06:34 (GMT) |
commit | 6c42043cf83ecf10d5a5489a886a92bdc076eb7b (patch) | |
tree | a2bf1cb0712f382178bf9255c583b95ab2e00aa4 /scripts | |
parent | 32d1ef49dcbbdbe1a1977fafc351a62c43a50b23 (diff) |
Remove comments before pylinting. It's now clear from the module
name which component is being pylinted.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/check.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/check.py b/scripts/check.py index c7f1839..3213f87 100644 --- a/scripts/check.py +++ b/scripts/check.py @@ -115,22 +115,13 @@ class cmd_check(Command): return result def check_pylint(self, config): - print 'Pylint the sugar module...' self.lint('sugar') - print 'Done.' - - print 'Pylint the jarabe module...' 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.' - - print 'Pylint the device extensions...' self.lint('deviceicon') def run(self, config, options, args): |