From 6d11e9ffd84486f080f9e8511985aa7f4597ae85 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Thu, 11 Feb 2016 07:17:00 +0100 Subject: [PATCH] Fix lint. --- scripts/dev/run_profile.py | 5 +++++ 1 file changed, 5 insertions(+) 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',