mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
Add script to check if MANIFEST.json is changes in wpt
This commit is contained in:
parent
cef839e454
commit
3f34ee345e
1 changed files with 1 additions and 1 deletions
|
@ -1,4 +1,4 @@
|
|||
#!/bin/bash
|
||||
diff=$(git diff -- tests/**/MANIFEST.json)
|
||||
diff=$(git diff -- tests/wpt/**/MANIFEST.json)
|
||||
echo "$diff"
|
||||
[[ ! $diff ]]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue