Skip to content

Fix build order in subt_ign #624

New issue

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

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

Already on GitHub? # to your account

Merged
merged 2 commits into from
Sep 24, 2020
Merged

Fix build order in subt_ign #624

merged 2 commits into from
Sep 24, 2020

Conversation

peci1
Copy link
Collaborator

@peci1 peci1 commented Sep 24, 2020

#602 broke clean build. The newly added messages are in subt_ros, not in subt_msgs. This PR fixes it.

Messages are not in subt_msgs, but in subt_ros...
@peci1 peci1 marked this pull request as draft September 24, 2020 15:40
@peci1 peci1 marked this pull request as ready for review September 24, 2020 15:47
@peci1
Copy link
Collaborator Author

peci1 commented Sep 24, 2020

Did you consider using catkin_lint in CI? It'd at least catch the missing piece in package.xml...

@nkoenig nkoenig merged commit 57c26bd into osrf:master Sep 24, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants