| Index: third_party/WebKit/Source/devtools/scripts/generate_devtools_grd.py
|
| diff --git a/third_party/WebKit/Source/devtools/scripts/generate_devtools_grd.py b/third_party/WebKit/Source/devtools/scripts/generate_devtools_grd.py
|
| index 95f86b7d3fb815915a706a6ed32a1a815aea6fd6..e88f8f1059eb42f003d1554c36e1433d77780175 100755
|
| --- a/third_party/WebKit/Source/devtools/scripts/generate_devtools_grd.py
|
| +++ b/third_party/WebKit/Source/devtools/scripts/generate_devtools_grd.py
|
| @@ -42,7 +42,8 @@ from xml.dom import minidom
|
|
|
| kDevToolsResourcePrefix = 'IDR_DEVTOOLS_'
|
| kGrdTemplate = '''<?xml version="1.0" encoding="UTF-8"?>
|
| -<grit latest_public_release="0" current_release="1">
|
| +<grit latest_public_release="0" current_release="1"
|
| + output_all_resource_defines="false">
|
| <outputs>
|
| <output filename="grit/devtools_resources.h" type="rc_header">
|
| <emit emit_type='prepend'></emit>
|
|
|