return ' '.join(ret)
class Symbol(object):
-@@ -584,6 +581,7 @@ while 1:
+@@ -593,6 +590,7 @@ while 1:
extra_flags = []
extra_pre_obj = []
extra_post_obj = []
symbols.update(library_symbols_used[library])
-@@ -614,9 +612,10 @@ while 1:
+@@ -623,9 +621,10 @@ while 1:
cmd.append(pic_file)
cmd.extend(extra_post_obj)
cmd.extend(extra_flags)