mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Update web-platform-tests to revision 33c263fb308d1c3f6ac6d2590d7292317262819d
This commit is contained in:
parent
5bf00c07c2
commit
482fda3a78
524 changed files with 14686 additions and 3270 deletions
|
@ -42,7 +42,7 @@ def main():
|
|||
previous_generated_files = set()
|
||||
current_path = os.path.dirname(os.path.realpath(__file__))
|
||||
for root, _, filenames in os.walk(current_path):
|
||||
for filename in fnmatch.filter(filenames, 'gen-*.https.html'):
|
||||
for filename in fnmatch.filter(filenames, 'gen-*.https.window.js'):
|
||||
previous_generated_files.add(os.path.join(root, filename))
|
||||
|
||||
if previous_generated_files != generated_files:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue