Searched refs:output_file (Results 1 – 4 of 4) sorted by relevance
| /build/tools/ |
| D | generate-notice-files.py | 108 output_file = open(output_filename, "wb")
110 print >> output_file, "<html><head>"
111 print >> output_file, HTML_OUTPUT_CSS
112 …print >> output_file, '</head><body topmargin="0" leftmargin="0" rightmargin="0" bottommargin="0">'
115 print >> output_file, '<div class="toc">'
116 print >> output_file, "<ul>"
124 …print >> output_file, '<li><a href="#id%d">%s</a></li>' % (id_table.get(filename), stripped_filena…
126 print >> output_file, "</ul>"
127 print >> output_file, "</div><!-- table of contents -->"
129 print >>output_file, '<table cellpadding="0" cellspacing="0" border="0">'
[all …]
|
| D | event_log_tags.py | 119 def WriteOutput(output_file, data): argument
126 if output_file is None:
128 output_file = "<stdout>"
130 out = open(output_file, "wb")
134 print >> sys.stderr, "failed to write %s: %s" % (output_file, e)
|
| D | java-event-log-tags.py | 35 output_file = None variable
49 output_file = a variable
148 output_dir = os.path.dirname(output_file)
152 event_log_tags.WriteOutput(output_file, buffer)
|
| D | merge-event-log-tags.py | 41 output_file = None variable
61 output_file = a variable
184 event_log_tags.WriteOutput(output_file, buffer)
|