ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

verify libname before stripping

pull/4889/head
JojoS 2017-07-27 23:27:55 +02:00 committed by adbridge
parent be72993ee2
commit a77182edcc
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/export/makefile/__init__.py
View File

@ -200,7 +200,9 @@ class GccArm(Makefile):
@staticmethod @staticmethod
def prepare_lib(libname): def prepare_lib(libname):
return "-l" + libname[3:-2] if "lib" == libname[:3]:
libname = libname[3:-2]
return "-l" + libname
@staticmethod @staticmethod
def prepare_sys_lib(libname): def prepare_sys_lib(libname):