33a34
> import sys
61,64c62,63
< scrubbed = re.sub(r'In file: .*$',
< 'In file: <removed by verify.pl>',
< result.message)
< print('\n' + scrubbed)
---
> print('\n' + result.message)
> sys.exit(int(result.code))