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__': |