changeset 1734 | 750eeb7230a1 |
parent 1511 | 91538d0c242c |
child 1735 | c02818d7e29f |
--- a/targets/Xenomai/__init__.py Mon Aug 14 21:31:01 2017 +0300 +++ b/targets/Xenomai/__init__.py Mon Aug 14 22:23:17 2017 +0300 @@ -36,7 +36,7 @@ xeno_config + " --skin=native --"+flagsname, no_stdout=True).spin() if status: - self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n")%flagsname) + self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n") % flagsname) return [result.strip()] return []