diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-13 12:06:52 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-13 12:06:52 (GMT) |
| commit | c5efa9633e7b05bacdf3f3feb5977af855a0ecdc (patch) | |
| tree | a07e5678f8d33f54783033598a47a9e75dd15e6f /scripts | |
| parent | 5e40fd9eb00bbebce54534c38c9e9545487ecdaa (diff) | |
Execute all the check if no type option is passed.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/check.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/check.py b/scripts/check.py index 2054834..d117aa7 100644 --- a/scripts/check.py +++ b/scripts/check.py @@ -138,9 +138,9 @@ class cmd_check(Command): xvfb_pid = self.start_xvfb() try: - if options.type == 'pylint': + if not options.type or options.type == 'pylint': self.check_pylint(config) - if options.type == 'ui': + if not options.type or options.type == 'ui': result = self.check_ui(config) finally: if xvfb_pid: |