From fb84af014cb4495cd0473232d0f728cc9f040962 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 24 Oct 2017 07:42:36 +0200 Subject: [PATCH] Fix install arch-specific header files --- waf_generator.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/waf_generator.py b/waf_generator.py index 481b4fee..73b02a83 100755 --- a/waf_generator.py +++ b/waf_generator.py @@ -654,10 +654,11 @@ class ModuleManager(builder.ModuleManager): self.add(' for headers in header_paths:') self.add(' ipath = os.path.join(rtems.arch_bsp_include_path(bld.env.RTEMS_VERSION, bld.env.RTEMS_ARCH_BSP), headers[2])') self.add(' start_dir = bld.path.find_dir(headers[0])') - self.add(' bld.install_files("${PREFIX}/" + ipath,') - self.add(' start_dir.ant_glob(headers[1]),') - self.add(' cwd = start_dir,') - self.add(' relative_trick = True)') + self.add(' if start_dir != None:') + self.add(' bld.install_files("${PREFIX}/" + ipath,') + self.add(' start_dir.ant_glob(headers[1]),') + self.add(' cwd = start_dir,') + self.add(' relative_trick = True)') self.add('') self.add(' # Tests')