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