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 |
index bfaec474d4ba66f0edf6b0159bef282c1b45bd98..ecdbccd65a88b78a25d061c324552d71aacc3f92 100755 |
--- a/Source/devtools/scripts/generate_devtools_html.py |
+++ b/Source/devtools/scripts/generate_devtools_html.py |
@@ -44,20 +44,13 @@ def generate_include_tag(resource_path): |
def write_devtools_html(inspector_file, devtools_file, debug): |
- buildsystemonly_js_written = False |
- |
for line in inspector_file: |
if not debug: |
if '<script ' in line or '<link ' in line: |
continue |
if '</head>' in line: |
devtools_file.write(generate_include_tag("inspector.css")) |
- devtools_file.write(generate_include_tag("buildSystemOnly.js")) |
devtools_file.write(generate_include_tag("Main.js")) |
- else: |
- if not buildsystemonly_js_written and '<script ' in line: |
- devtools_file.write(generate_include_tag("buildSystemOnly.js")) |
- buildsystemonly_js_written = True |
devtools_file.write(line) |