Revision b05e46d499a11bc9bdd4a347f8bae6757c34d4a9 authored by plehegar on 22 April 2016, 13:34:14 UTC, committed by plehegar on 22 April 2016, 13:34:14 UTC
1 parent 9a3b3f7
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 ...
