diff --git a/scripts/dev/run_profile.py b/scripts/dev/run_profile.py index 7db7967e5..57d527b07 100755 --- a/scripts/dev/run_profile.py +++ b/scripts/dev/run_profile.py @@ -37,6 +37,11 @@ import qutebrowser.qutebrowser def parse_args(): + """Parse commandline arguments. + + Return: + A (namespace, remaining_args) tuple from argparse. + """ parser = argparse.ArgumentParser() parser.add_argument('--profile-tool', metavar='TOOL', action='store', choices=['kcachegrind', 'snakeviz',