Revision 4b20c8fab63a41d2bfc48a322d18a531d1d1a323 authored by James Graham on 13 October 2016, 21:56:59 UTC, committed by James Graham on 21 October 2016, 15:26:24 UTC
1 parent c3a52af
lint
#!/usr/bin/env python
import sys
try:
from tools.lint import lint
except ImportError:
print("tools.lint not found. Did you forget to run "
'"git submodule update --init --recursive"?')
sys.exit(2)
sys.exit(0 if lint.main() == 0 else 1)
Computing file changes ...
