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.

Sign up for GitHub

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

Jump to bottom

build: test for compatibility with DESTDIR #31

Closed
wjwwood opened this issue Apr 12, 2014 · 2 comments
Closed

build: test for compatibility with DESTDIR #31

wjwwood opened this issue Apr 12, 2014 · 2 comments
Labels
bug enhancement
Milestone
1.0.0 - Stable Re...

Comments

@wjwwood
Copy link
Member

wjwwood commented Apr 12, 2014

I need to contact people who brought up these issues against catkin and did the testing and ask them to test out catkin build.
@wjwwood wjwwood added this to the 0.1.0 milestone Apr 12, 2014
@wjwwood
Copy link
Member Author

wjwwood commented Apr 12, 2014

Relevant catkin issues:

@wjwwood wjwwood mentioned this issue Aug 19, 2014
Open
13 tasks
@wjwwood wjwwood mentioned this issue Sep 18, 2014
Merged
42 tasks
@jbohren jbohren modified the milestones: 0.4.0 - Beta 2, 0.1.0, Recommend Switch from CM / CMI Jun 11, 2015
@wjwwood wjwwood mentioned this issue Dec 1, 2015
Closed
@wjwwood
Copy link
Member Author

wjwwood commented Dec 9, 2015

Closed by #240

@wjwwood wjwwood closed this as completed Dec 9, 2015
@kranzo kranzo mentioned this issue Jul 23, 2018
Closed
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug enhancement
Projects
None yet
Milestone
1.0.0 - Stable Release + Recommend Sw...
Development

No branches or pull requests
2 participants
@wjwwood @jbohren