Revision c7501338f6fc13cfce7ddeccc701d851a3cd3dfe authored by jgraham on 09 June 2016, 12:57:53 UTC, committed by jgraham on 09 June 2016, 12:57:53 UTC
Merge pull request #3141 from sync_f4eab347553d19164f6999c29649e8bfdaad44db
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 ...
