From 7a8917fcf828d2c1eaa86b1810d20e9f7dce954f Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Tue, 18 Oct 2016 10:30:46 -0500 Subject: [PATCH] Use correct names for library files --- tools/export/makefile/__init__.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/export/makefile/__init__.py b/tools/export/makefile/__init__.py index d29b273d43..35e5115763 100644 --- a/tools/export/makefile/__init__.py +++ b/tools/export/makefile/__init__.py @@ -44,7 +44,8 @@ class Makefile(Exporter): self.resources.c_sources + self.resources.cpp_sources] - libraries = [splitext(lib)[0][3:] for lib in self.resources.libraries] + libraries = [splitext(basename(lib))[0][3:] for lib + in self.resources.libraries] ctx = { 'name': self.project_name,