diff options
Diffstat (limited to 'webkit/build')
| -rwxr-xr-x | webkit/build/generate_devtools_html.py | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/webkit/build/generate_devtools_html.py b/webkit/build/generate_devtools_html.py index 82f9490..59aeee3 100755 --- a/webkit/build/generate_devtools_html.py +++ b/webkit/build/generate_devtools_html.py @@ -19,18 +19,22 @@ def GenerateIncludeTag(resource_path): def main(argv): if len(argv) < 4: - print 'usage: %s inspector_html devtools_html css_and_js_files_list' % argv[0] + print('usage: %s ignored inspector_html devtools_html' + ' css_and_js_files_list' % argv[0]) return 1 - inspector_html_name = argv[1] - devtools_html_name = argv[2] + # The first argument is ignored. We put 'webkit.gyp' in the inputs list + # for this script, so every time the list of script gets changed, our html + # file is rebuilt. + inspector_html_name = argv[2] + devtools_html_name = argv[3] inspector_html = open(inspector_html_name, 'r') devtools_html = open(devtools_html_name, 'w') for line in inspector_html: if '</head>' in line: devtools_html.write('\n <!-- The following lines are added to include DevTools resources -->\n') - for resource in argv[3:]: + for resource in argv[4:]: devtools_html.write(GenerateIncludeTag(resource)) devtools_html.write(' <!-- End of auto-added files list -->\n') devtools_html.write(line) |