mirror of
https://github.com/servo/servo.git
synced 2025-08-10 16:05:43 +01:00
Update web-platform-tests to revision 4bba821de44da9ed47c2562f995a0da6eecc177b
This commit is contained in:
parent
af637640ae
commit
c8c377df9f
48 changed files with 697 additions and 8688 deletions
|
@ -1,6 +1,11 @@
|
|||
#!/usr/bin/env python
|
||||
import sys
|
||||
|
||||
from tools.lint import lint
|
||||
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)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue