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): |