Revision 3509a654f9337dcedc15fca1ce32eb230d544a0e authored by Charles Engelke on 07 June 2016, 20:43:31 UTC, committed by Charles Engelke on 07 June 2016, 20:43:31 UTC
1 parent 60eacef
Raw File
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)
back to top