Revision fe01681455f4a32cf2d18aeb7f4808d275d2ce68 authored by Aryeh Gregor on 03 May 2016, 17:15:49 UTC, committed by Aryeh Gregor on 03 May 2016, 17:15:49 UTC
1 parent 70ac1b3
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 ...
