mirror of
https://github.com/bjoernellens1/cps_rmp220_support.git
synced 2025-01-19 08:06:59 +00:00
update
This commit is contained in:
parent
291c03019e
commit
71bf12c8c5
@ -54,7 +54,7 @@ install(DIRECTORY description
|
|||||||
# Install launch files
|
# Install launch files
|
||||||
install(DIRECTORY launch
|
install(DIRECTORY launch
|
||||||
DESTINATION ${CATKIN_PACKAGE_SHARE_DESTINATION}
|
DESTINATION ${CATKIN_PACKAGE_SHARE_DESTINATION}
|
||||||
FILES_MATCHING PATTERN "*.launch.py"
|
FILES_MATCHING PATTERN "*.launch*"
|
||||||
)
|
)
|
||||||
|
|
||||||
# Install world files
|
# Install world files
|
||||||
|
Loading…
Reference in New Issue
Block a user