From 0fc4d497b2283fcfc20b9857c6ca78070b7e5e0b Mon Sep 17 00:00:00 2001 From: Emilio Monti Date: Fri, 26 Apr 2013 17:51:31 +0100 Subject: [PATCH] Fix whitespaces missed by merge tool --- workspace_tools/toolchains.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/workspace_tools/toolchains.py b/workspace_tools/toolchains.py index 7c5015836b..e623a6ad95 100644 --- a/workspace_tools/toolchains.py +++ b/workspace_tools/toolchains.py @@ -166,9 +166,9 @@ class mbedToolchain: if not exists(target): return True - + target_mod_time = stat(target).st_mtime - + for d in dependencies: # Some objects are not provided with full path and here we do not have # information about the library paths. Safe option: assume an update @@ -375,8 +375,8 @@ class mbedToolchain: self.debug("LPC Patch %s" % (name + '.bin')) patch(bin) - self.var("compile_succeded", True) - self.var("binary", name+'.bin') + self.var("compile_succeded", True) + self.var("binary", name+'.bin') return bin @@ -469,7 +469,7 @@ class ARM(mbedToolchain): # because when the .d files are generated, armcc is chrooted dependencies.append(self.CHROOT + match.group('file')) else: - dependencies.append(match.group('file')) + dependencies.append(match.group('file')) return dependencies def parse_output(self, output):