From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 21:03:06 +0100 Subject: gentoo resync : 14.07.2018 --- dev-ros/rqt_gui/files/gentoo.patch | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 dev-ros/rqt_gui/files/gentoo.patch (limited to 'dev-ros/rqt_gui/files') diff --git a/dev-ros/rqt_gui/files/gentoo.patch b/dev-ros/rqt_gui/files/gentoo.patch new file mode 100644 index 000000000000..abdc30a8ccbd --- /dev/null +++ b/dev-ros/rqt_gui/files/gentoo.patch @@ -0,0 +1,15 @@ +Index: rqt_gui/src/rqt_gui/ros_plugin_provider.py +=================================================================== +--- rqt_gui.orig/src/rqt_gui/ros_plugin_provider.py ++++ rqt_gui/src/rqt_gui/ros_plugin_provider.py +@@ -109,6 +109,10 @@ class RosPluginProvider(PluginProvider): + def _parse_plugin_xml(self, package_name, plugin_xml): + plugin_descriptors = [] + ++ # Gentoo: strip ros_packages to get the real path. ++ if not os.path.isfile(plugin_xml): ++ plugin_xml = plugin_xml.replace('ros_packages/', '') ++ + if not os.path.isfile(plugin_xml): + qCritical('RosPluginProvider._parse_plugin_xml() plugin file "%s" in package "%s" not found' % (plugin_xml, package_name)) + return plugin_descriptors -- cgit v1.2.3