| Index: tools/linux-tick-processor.py
|
| ===================================================================
|
| --- tools/linux-tick-processor.py (revision 1294)
|
| +++ tools/linux-tick-processor.py (working copy)
|
| @@ -60,9 +60,10 @@
|
|
|
| def Main():
|
| # parse command line options
|
| + ignore_unknown = False
|
| state = None;
|
| try:
|
| - opts, args = getopt.getopt(sys.argv[1:], "jgco", ["js", "gc", "compiler", "other"])
|
| + opts, args = getopt.getopt(sys.argv[1:], "jgco", ["js", "gc", "compiler", "other", "ignore-unknown"])
|
| except getopt.GetoptError:
|
| usage()
|
| # process options.
|
| @@ -75,11 +76,13 @@
|
| state = 2
|
| if key in ("-o", "--other"):
|
| state = 3
|
| + if key in ("--ignore-unknown"):
|
| + ignore_unknown = True
|
| # do the processing.
|
| if len(args) != 1:
|
| Usage();
|
| tick_processor = LinuxTickProcessor()
|
| - tick_processor.ProcessLogfile(args[0], state)
|
| + tick_processor.ProcessLogfile(args[0], state, ignore_unknown)
|
| tick_processor.PrintResults()
|
|
|
| if __name__ == '__main__':
|
|
|