| Index: build/get_syzygy_binaries.py
|
| diff --git a/build/get_syzygy_binaries.py b/build/get_syzygy_binaries.py
|
| index 79a186d688c498afa937db5a00537d60682f2a58..b5424c21dd20eae82813a72a102b30d4d99bab16 100755
|
| --- a/build/get_syzygy_binaries.py
|
| +++ b/build/get_syzygy_binaries.py
|
| @@ -46,9 +46,7 @@ _RESOURCES = [
|
| ('benchmark.zip', 'benchmark', '', None),
|
| ('binaries.zip', 'binaries', 'exe', None),
|
| ('symbols.zip', 'symbols', 'exe',
|
| - lambda x: x.filename.endswith('.dll.pdb')),
|
| - ('include.zip', 'include', 'include', None),
|
| - ('lib.zip', 'library', 'lib', None)]
|
| + lambda x: x.filename.endswith('.dll.pdb'))]
|
|
|
|
|
| def _Shell(*cmd, **kw):
|
|
|