diff options
Diffstat (limited to 'testing/web-platform/tests/lint')
-rwxr-xr-x | testing/web-platform/tests/lint | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testing/web-platform/tests/lint b/testing/web-platform/tests/lint new file mode 100755 index 000000000..d2e5e18cf --- /dev/null +++ b/testing/web-platform/tests/lint @@ -0,0 +1,11 @@ +#!/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) |