From 8687ab18bca85636dfac7dcdf0fdacfbb9ff575d Mon Sep 17 00:00:00 2001 From: Michele Bianchi Date: Fri, 10 Jan 2020 16:39:06 +0900 Subject: [PATCH] Updated Import.py style --- Util/BuildTools/Import.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Util/BuildTools/Import.py b/Util/BuildTools/Import.py index 7b1896641..7c5612488 100755 --- a/Util/BuildTools/Import.py +++ b/Util/BuildTools/Import.py @@ -312,7 +312,7 @@ def build_binary_for_navigation(package_name, dirname, maps): os.makedirs(nav_folder_target) nav_path_source = os.path.join(folder, "%s.bin" % target_name) - if (os.path.exists(nav_path_source)): + if os.path.exists(nav_path_source): nav_path_target = os.path.join(nav_folder_target, "%s.bin" % target_name) print('Copying "' + nav_path_source + '" to "' + nav_path_target + '"') shutil.copy2(nav_path_source, nav_path_target)