search

catkin / catkin_tools

Command line tools for working with catkin
Apache License 2.0
163 stars 146 forks source link

Fix for issue 620 #696

Closed jimaldon closed 2 years ago

jimaldon commented 2 years ago

Edited Migration documentation to show catkin_make arguments that enable creation of custom buld, devel, install folders

Fix for issue 620

timonegk commented 2 years ago

Hi, thank you for the pull request! Please rebase your changes on the current master branch.

jimaldon commented 2 years ago

Sure! closing this and in favour of another PR with changes rebased to master