Index: third_party/WebKit/Source/devtools/scripts/build/generate_devtools_grd.py |
diff --git a/third_party/WebKit/Source/devtools/scripts/build/generate_devtools_grd.py b/third_party/WebKit/Source/devtools/scripts/build/generate_devtools_grd.py |
index 5fd837e72aba1fce508bbce43e9a48b6fee4ed0b..6794459fa2dea8ee250a69c86744af3f2e3d759d 100755 |
--- a/third_party/WebKit/Source/devtools/scripts/build/generate_devtools_grd.py |
+++ b/third_party/WebKit/Source/devtools/scripts/build/generate_devtools_grd.py |
@@ -53,7 +53,9 @@ kGrdTemplate = '''<?xml version="1.0" encoding="UTF-8"?> |
<output filename="devtools_resources.pak" type="data_package" /> |
</outputs> |
<release seq="1"> |
- <includes></includes> |
+ <includes> |
+ <include name="COMPRESSED_PROTOCOL_JSON" file="${compressed_protocol_file}" use_base_dir="false" type="BINDATA" /> |
pfeldman
2017/05/10 20:48:59
Is brotli that much better than 7z?
|
+ </includes> |
</release> |
</grit> |
''' |