Revision 51f30d010fab9995fa8c8af47a1accf2261dfdd8 authored by Hallvord R. M. Steen on 27 May 2016, 09:52:29 UTC, committed by Hallvord R. M. Steen on 27 May 2016, 09:52:29 UTC
1 parent 9efcf4c
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 ...
