Index: remoting/webapp/build-html.py |
diff --git a/remoting/webapp/build-html.py b/remoting/webapp/build-html.py |
index d73ec67e80a7dd8bb73cab9bfd9c90866e672131..17d9a6ac1ec0de2158326cd2defd183a30e423fb 100755 |
--- a/remoting/webapp/build-html.py |
+++ b/remoting/webapp/build-html.py |
@@ -143,6 +143,7 @@ def main(): |
out_file = args.output_file |
js_files = set(args.js) - set(args.exclude_js) |
+ instrumented_js_files = set(args.instrument_js) - set(args.exclude_js) |
jam
2015/08/07 15:54:00
the comment on line 126 above says this should be
|
# Create the output directory if it does not exist. |
out_directory = os.path.dirname(out_file) |
@@ -151,7 +152,7 @@ def main(): |
# Generate the main HTML file from the templates. |
with open(out_file, 'w') as output: |
- gen = GenerateWebappHtml(args.templates, js_files, args.instrument_js, |
+ gen = GenerateWebappHtml(args.templates, js_files, instrumented_js_files, |
args.template_dir) |
gen.processTemplate(output, args.input_template, 0) |