Download:
child 60:0d69b4a360dc
parent 58:bfd185f1afd8
59:07e5bd22bf0d
Anton Shestakov <av6@dwimlabs.net>, Thu, 23 Jun 2016 19:38:59 +0800
checker: configurable allowed exit codes for linters

1 файлов изменено, 2 вставок(+), 1 удалений(-) [+]
checker.py file | annotate | diff | comparison | revisions
--- a/checker.py Thu Jun 23 16:54:08 2016 +0800
+++ b/checker.py Thu Jun 23 19:38:59 2016 +0800
@@ -144,7 +144,8 @@
cmd = lc['exec']
flags = lc.get('flags', []) + linter.get('flags', [])
pf = lc.get('post_flags', []) + linter.get('post_flags', [])
- if not run(cmd + flags + [f] + pf, ignore_codes=(1,)):
+ codes = lc.get('codes', (1,))
+ if not run(cmd + flags + [f] + pf, ignore_codes=codes):
ok = False
break