| Index: test/test262/archive.py
|
| diff --git a/test/test262/archive.py b/test/test262/archive.py
|
| index 9a52d6cb0c842b601af83e3cc0bed887776ab145..894853e20854e07bd05fb4b348140796bf47e666 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 \
|
| + tar_info.name.startswith(os.path.join('harness', '.git')):
|
| return None
|
| else:
|
| tar_info.uname = tar_info.gname = "test262"
|
| @@ -27,6 +28,7 @@ def filter_git(tar_info):
|
|
|
| with tarfile.open('data.tar', 'w') as tar:
|
| tar.add('data', filter=filter_git)
|
| + 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
|
|
|