Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

set CATKIN_PACKAGE_LIBEXEC_DESTINATION which was documented but not set #1122

Merged

Conversation

dirk-thomas
Copy link
Member

Fixes #1118.

@dirk-thomas dirk-thomas self-assigned this Sep 28, 2020
@dirk-thomas dirk-thomas merged commit 6fabbc0 into noetic-devel Sep 28, 2020
@dirk-thomas dirk-thomas deleted the dirk-thomas/CATKIN_PACKAGE_LIBEXEC_DESTINATION branch September 28, 2020 21:19
@dirk-thomas
Copy link
Member Author

Cherry-picked to kinetic-devel in 457a7cb.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

CATKIN_PACKAGE_LIBEXEC_DESTINATION mentioned in docs is not implemented
1 participant