diff options
Diffstat (limited to 'scripts/pybootchartgui/pybootchartgui/main.py')
-rw-r--r-- | scripts/pybootchartgui/pybootchartgui/main.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/pybootchartgui/pybootchartgui/main.py b/scripts/pybootchartgui/pybootchartgui/main.py index e70ab13661..e22636c23e 100644 --- a/scripts/pybootchartgui/pybootchartgui/main.py +++ b/scripts/pybootchartgui/pybootchartgui/main.py | |||
@@ -19,6 +19,8 @@ def _mk_options_parser(): | |||
19 | help="output path (file or directory) where charts are stored") | 19 | help="output path (file or directory) where charts are stored") |
20 | parser.add_option("-s", "--split", dest="num", type=int, default=1, | 20 | parser.add_option("-s", "--split", dest="num", type=int, default=1, |
21 | help="split the output chart into <NUM> charts, only works with \"-o PATH\"") | 21 | help="split the output chart into <NUM> charts, only works with \"-o PATH\"") |
22 | parser.add_option("-m", "--mintime", dest="mintime", type=int, default=8, | ||
23 | help="only tasks longer than this time will be displayed") | ||
22 | parser.add_option("-n", "--no-prune", action="store_false", dest="prune", default=True, | 24 | parser.add_option("-n", "--no-prune", action="store_false", dest="prune", default=True, |
23 | help="do not prune the process tree") | 25 | help="do not prune the process tree") |
24 | parser.add_option("-q", "--quiet", action="store_true", dest="quiet", default=False, | 26 | parser.add_option("-q", "--quiet", action="store_true", dest="quiet", default=False, |
@@ -51,7 +53,7 @@ def main(argv=None): | |||
51 | parser.error("insufficient arguments, expected at least one path.") | 53 | parser.error("insufficient arguments, expected at least one path.") |
52 | return 2 | 54 | return 2 |
53 | 55 | ||
54 | res = parsing.parse(args, options.prune) | 56 | res = parsing.parse(args, options.prune, options.mintime) |
55 | if options.interactive or options.output == None: | 57 | if options.interactive or options.output == None: |
56 | gui.show(res) | 58 | gui.show(res) |
57 | else: | 59 | else: |