targets/Xenomai/__init__.py
changeset 726 ae63ccc29444
parent 725 31dade089db5
child 1279 0eb9f8af479f
equal deleted inserted replaced
725:31dade089db5 726:ae63ccc29444
     4     extension = ".so"
     4     extension = ".so"
     5     def getXenoConfig(self, flagsname):
     5     def getXenoConfig(self, flagsname):
     6         """ Get xeno-config from target parameters """
     6         """ Get xeno-config from target parameters """
     7         xeno_config=self.CTRInstance.GetTarget().getcontent()["value"].getXenoConfig()
     7         xeno_config=self.CTRInstance.GetTarget().getcontent()["value"].getXenoConfig()
     8         if xeno_config:
     8         if xeno_config:
     9             from ProcessLogger import ProcessLogger
     9             from util.ProcessLogger import ProcessLogger
    10             status, result, err_result = ProcessLogger(self.CTRInstance.logger,
    10             status, result, err_result = ProcessLogger(self.CTRInstance.logger,
    11                                                        xeno_config + " --skin=native --"+flagsname,
    11                                                        xeno_config + " --skin=native --"+flagsname,
    12                                                        no_stdout=True).spin()
    12                                                        no_stdout=True).spin()
    13             if status:
    13             if status:
    14                 self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n")%flagsname)
    14                 self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n")%flagsname)