mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-02-09 01:27:34 -08:00
14 lines
621 B
Diff
14 lines
621 B
Diff
Index: catkin_pkg-0.3.1/src/catkin_pkg/packages.py
|
|
===================================================================
|
|
--- catkin_pkg-0.3.1.orig/src/catkin_pkg/packages.py
|
|
+++ catkin_pkg-0.3.1/src/catkin_pkg/packages.py
|
|
@@ -59,7 +59,7 @@ def find_package_paths(basepath, exclude
|
|
del dirnames[:]
|
|
continue
|
|
elif PACKAGE_MANIFEST_FILENAME in filenames:
|
|
- paths.append(os.path.relpath(dirpath, basepath))
|
|
+ paths.append(os.path.relpath(dirpath.replace('ros_packages/',''), basepath))
|
|
del dirnames[:]
|
|
continue
|
|
for dirname in dirnames:
|