targets/Xenomai/__init__.py
changeset 1734 750eeb7230a1
parent 1511 91538d0c242c
child 1735 c02818d7e29f
equal deleted inserted replaced
1733:dea107dce0c4 1734:750eeb7230a1
    34             from util.ProcessLogger import ProcessLogger
    34             from util.ProcessLogger import ProcessLogger
    35             status, result, err_result = ProcessLogger(self.CTRInstance.logger,
    35             status, result, err_result = ProcessLogger(self.CTRInstance.logger,
    36                                                        xeno_config + " --skin=native --"+flagsname,
    36                                                        xeno_config + " --skin=native --"+flagsname,
    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")