diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-09 19:18:37 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-09 19:18:37 (GMT) |
| commit | 4b3d7eb57421ee1470bf2da23840c0e1d34a587c (patch) | |
| tree | d4e338137eab65a92235152fa1bd0b9f42e95fb7 /scripts | |
| parent | 6a2622e887ab62c4d5f1d941c151698aad4e4ec0 (diff) | |
Wait process completion.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/check.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/check.py b/scripts/check.py index 3c794c3..4142d89 100644 --- a/scripts/check.py +++ b/scripts/check.py @@ -36,6 +36,8 @@ class cmd_check(Command): def run_pylint(self, args): p = subprocess.Popen([ 'pylint' ] + args) + p.wait() + return False def lint(self, module): |