Revision a6c135a3242adbdd34803f1b839f06a4cfb4159a authored by Anne van Kesteren on 11 August 2016, 13:34:51 UTC, committed by Anne van Kesteren on 11 August 2016, 13:34:51 UTC
This will be clarified in the standard as part of fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=20322.
1 parent b53c4bf
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 ...
