diff options
Diffstat (limited to 'tools/make-both-time-files.py')
-rwxr-xr-x | tools/make-both-time-files.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/make-both-time-files.py b/tools/make-both-time-files.py new file mode 100755 index 00000000..f730a8d6 --- /dev/null +++ b/tools/make-both-time-files.py @@ -0,0 +1,16 @@ +#!/usr/bin/env python +import sys +from TimeFileMaker import * + +if __name__ == '__main__': + USAGE = 'Usage: %s [--sort-by=auto|absolute|diff] AFTER_FILE_NAME BEFORE_FILE_NAME [OUTPUT_FILE_NAME ..]' % sys.argv[0] + HELP_STRING = r'''Formats timing information from the output of two invocations of `make TIMED=1` into a sorted table. + +The input is expected to contain lines in the format: +FILE_NAME (...user: NUMBER_IN_SECONDS...) +''' + sort_by, args = parse_args(sys.argv, USAGE, HELP_STRING) + left_dict = get_times(args[1]) + right_dict = get_times(args[2]) + table = make_diff_table_string(left_dict, right_dict, sort_by=sort_by) + print_or_write_table(table, args[3:]) |