diff options
author | Jack Lloyd <[email protected]> | 2018-08-10 15:42:23 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-08-10 15:42:23 -0400 |
commit | 4a8fabb31998eb3b60b981e4ba37780cfd1eea5a (patch) | |
tree | 088224e2bee71ac958a8135d1a6f1232cf62ab58 /src | |
parent | c9a6216db4d865c7bfbcec56c36aa06dbc3de165 (diff) |
Lint fix
Diffstat (limited to 'src')
-rwxr-xr-x | src/scripts/test_cli.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/test_cli.py b/src/scripts/test_cli.py index 353b9ed68..0a76d7465 100755 --- a/src/scripts/test_cli.py +++ b/src/scripts/test_cli.py @@ -697,7 +697,7 @@ def main(args=None): start = time.time() fn() end = time.time() - #print("Ran %s in %.02f" % (fn.__name__, end-start)) + logging.debug("Ran %s in %.02f", fn.__name__, end-start) end_time = time.time() |