Searched refs:dest_file_name (Results 1 – 1 of 1) sorted by relevance
76 def trans_to_trace_json(self, dest_file_name): argument91 if not dest_file_name.endswith('.gz'):92 dest_file_name = dest_file_name + '.gz'94 if os.path.exists(dest_file_name):96 dest_file_name, '%s/build.trace.%d.gz' %97 (os.path.dirname(dest_file_name),98 int(os.stat(dest_file_name).st_mtime)))100 with gzip.open(dest_file_name, "wt") as f: