Index: test/test262/archive.py |
diff --git a/test/test262/archive.py b/test/test262/archive.py |
index 9a52d6cb0c842b601af83e3cc0bed887776ab145..3efc49a82c2306252376648a3636c1e18c509d46 100755 |
--- a/test/test262/archive.py |
+++ b/test/test262/archive.py |
@@ -19,7 +19,8 @@ tarfile.grp = None |
tarfile.pwd = None |
def filter_git(tar_info): |
- if tar_info.name.startswith(os.path.join('data', '.git')): |
+ if tar_info.name.startswith(os.path.join('data', '.git')) or \ |
tandrii(chromium)
2016/07/20 10:42:01
nit: wrap the whole condition with () and don't us
|
+ tar_info.name.startswith(os.path.join('harness', '.git')): |
return None |
else: |
tar_info.uname = tar_info.gname = "test262" |
@@ -28,6 +29,9 @@ def filter_git(tar_info): |
with tarfile.open('data.tar', 'w') as tar: |
tar.add('data', filter=filter_git) |
Michael Achenbach
2016/07/20 11:22:49
Why not add harness folder to data.tar?
|
+with tarfile.open('harness.tar', 'w') as tar: |
+ tar.add('harness', filter=filter_git) |
+ |
# Workaround for GN. We can't specify the tarfile as output because it's |
# not in the product directory. Therefore we track running of this script |
# with an extra stamp file in the product directory. |