Fix option append

ARMmbed · Jul 2, 2013 · df9e56f · df9e56f
1 parent a19e996
commit df9e56f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/workspace_tools/toolchains/gcc.py b/workspace_tools/toolchains/gcc.py
@@ -38,7 +38,7 @@ def __init__(self, target, options=None, notify=None, tool_path=""):
             ] + self.cpu
 
         if "save-asm" in self.options:
-            common_flags.extends("-save-temps")
+            common_flags.append("-save-temps")
 
         self.asm = [join(tool_path, "arm-none-eabi-as")] + self.cpu