From d3b271761f4d2f998bea3a290e2b35389f968fe9 Mon Sep 17 00:00:00 2001 From: Eric Rasche Date: Fri, 4 Aug 2017 17:18:09 +0200 Subject: [PATCH] remove a blank line --- scripts/grt.py | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/grt.py b/scripts/grt.py index 86235bf3515..c16ccb24d94 100644 --- a/scripts/grt.py +++ b/scripts/grt.py @@ -251,7 +251,6 @@ def main(argv): # So we can just quit now. sys.exit(0) - # Unfortunately we have to keep this mapping for the sanitizer to work properly. job_tool_map = {} blacklisted_tools = config['sanitization']['tools']