diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/filter_openocd_log.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/filter_openocd_log.py b/tools/filter_openocd_log.py index da17b17..cd38efd 100755 --- a/tools/filter_openocd_log.py +++ b/tools/filter_openocd_log.py @@ -106,7 +106,7 @@ def main(args): formatter_class=argparse.ArgumentDefaultsHelpFormatter) parser.add_argument('file', nargs='*', help='input file') parser.add_argument('-o', '--output', help='output file', default=sys.stdout) - parser.add_argument('-w', '--window', type=int, default=100, + parser.add_argument('-w', '--window', type=int, default=400, help='number of lines to consider when looking for repetitions') args = parser.parse_args(args) |