| Index: Source/devtools/scripts/generate_devtools_html.py
|
| diff --git a/Source/devtools/scripts/generate_devtools_html.py b/Source/devtools/scripts/generate_devtools_html.py
|
| old mode 100644
|
| new mode 100755
|
| index a5cf3abc697c1338d6134d08cd3e9733b8fff5f1..32a5cb0fe066e16a7e5b790f922de1a9a1ac4cf7
|
| --- a/Source/devtools/scripts/generate_devtools_html.py
|
| +++ b/Source/devtools/scripts/generate_devtools_html.py
|
| @@ -51,7 +51,7 @@ def write_devtools_html(inspector_file, devtools_file, debug):
|
| continue
|
| if '</head>' in line and not debug:
|
| devtools_file.write(generate_include_tag("inspector.css"))
|
| - devtools_file.write(generate_include_tag("inspector.js"))
|
| + devtools_file.write(generate_include_tag("Main.js"))
|
| devtools_file.write(line)
|
| if '<head>' in line:
|
| devtools_file.write(generate_include_tag("buildSystemOnly.js"))
|
|
|