targets/Xenomai/__init__.py
changeset 1735 c02818d7e29f
parent 1734 750eeb7230a1
child 1736 7e61baa047f0
equal deleted inserted replaced
1734:750eeb7230a1 1735:c02818d7e29f
    37                                                        no_stdout=True).spin()
    37                                                        no_stdout=True).spin()
    38             if status:
    38             if status:
    39                 self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n") % flagsname)
    39                 self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n") % flagsname)
    40             return [result.strip()]
    40             return [result.strip()]
    41         return []
    41         return []
    42     
    42 
    43     def getBuilderLDFLAGS(self):
    43     def getBuilderLDFLAGS(self):
    44         xeno_ldflags = self.getXenoConfig("ldflags")
    44         xeno_ldflags = self.getXenoConfig("ldflags")
    45         return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldflags + ["-shared"]
    45         return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldflags + ["-shared"]
    46 
    46 
    47     def getBuilderCFLAGS(self):
    47     def getBuilderCFLAGS(self):
    48         xeno_cflags = self.getXenoConfig("cflags")
    48         xeno_cflags = self.getXenoConfig("cflags")
    49         return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags + ["-fPIC"]
    49         return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags + ["-fPIC"]
    50