--- a/src/mklibs
+++ b/src/mklibs
-@@ -531,7 +531,6 @@ while 1:
+@@ -529,7 +529,6 @@
library_symbols = {}
library_symbols_used = {}
# WORKAROUND: Always add libgcc on old-abi arm
header = elf_header(find_lib(libraries.copy().pop()))
-@@ -549,20 +548,13 @@ while 1:
+@@ -547,20 +546,13 @@
library_symbols_used[library] = set()
for symbol in symbols:
for name in symbol.base_names():