diff options
author | Konrad Borowski <glitchmr@myopera.com> | 2013-07-27 17:08:06 +0200 |
---|---|---|
committer | Konrad Borowski <glitchmr@myopera.com> | 2013-07-27 17:08:06 +0200 |
commit | 0479f0ad6309139c0f318ece9c637b965e582574 (patch) | |
tree | e8cb4b307ae4cd6bb80cd7a8aa583b6073fa6ba5 | |
parent | aa8b3cb6d6195761412406b532283236a34bf7d0 (diff) |
Remove useless debugging code
-rwxr-xr-x | share/tools/create_manpage_completions.py | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/share/tools/create_manpage_completions.py b/share/tools/create_manpage_completions.py index 24650ac6..8bf41e42 100755 --- a/share/tools/create_manpage_completions.py +++ b/share/tools/create_manpage_completions.py @@ -952,18 +952,4 @@ if __name__ == "__main__": if e.errno != errno.EEXIST: raise - if True: - parse_and_output_man_pages(file_paths, output_directory, show_progress) - else: - # Profiling code - import cProfile, pstats - cProfile.run('parse_and_output_man_pages(file_paths, output_directory, show_progress)', 'fooprof') - p = pstats.Stats('fooprof') - p.sort_stats('cumulative').print_stats(100) - - # Here we can write out all the parser infos - if False: - for name in PARSER_INFO: - print('Parser ' + name + ':') - print('\t' + ', '.join(PARSER_INFO[name])) - print('') + parse_and_output_man_pages(file_paths, output_directory, show_progress) |