Revision 91e12b1656796b8365a68caed2275a2da38f9870 authored by Wanming Lin on 20 June 2016, 13:38:36 UTC, committed by Josh Matthews on 20 June 2016, 13:38:36 UTC
1 parent 0fdd8a2
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 ...
