diff -r eed1dcf311a1 -r 72bc3e53a1fa targets/Xenomai/__init__.py --- a/targets/Xenomai/__init__.py Thu Sep 22 17:33:34 2011 +0200 +++ b/targets/Xenomai/__init__.py Thu Sep 22 17:35:29 2011 +0200 @@ -11,7 +11,7 @@ # get xeno-config from target parameters xeno_config = self.getXenoConfig() - status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --xeno-ldflags", no_stdout=True).spin() + status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --skin=native --ldflags", no_stdout=True).spin() if status: self.PluginsRootInstance.logger.write_error(_("Unable to get Xenomai's LDFLAGS\n")) xeno_ldlags = result.strip() @@ -22,7 +22,7 @@ # get xeno-config from target parameters xeno_config = self.getXenoConfig() - status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --xeno-cflags", no_stdout=True).spin() + status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger, xeno_config + " --skin=native --cflags", no_stdout=True).spin() if status: self.PluginsRootInstance.logger.write_error(_("Unable to get Xenomai's CFLAGS\n")) xeno_cflags = result.strip()