Ask Your Question
0

catkin_make_isolated ignore package

asked 2019-08-14 13:41:41 -0600

updated 2019-08-14 15:38:41 -0600

Hi all,

is there a way to specify some packages to ignore while invoking catkin_make_isolated ?? I'm looking for some command line option, I already know about CATKIN_IGNORE.
I tried -DCATKIN_BLACKLIST_PACKAGES as I would when using catkin_make but that doesn't seem to have any effect.

Thanks.

Edit: Couldn't find anything, thus opened catkin #1027.

edit retag flag offensive close merge delete

Comments

cool for fixing this :-) This is worth a self-answer that you can accept :-)

mgruhler gravatar imagemgruhler ( 2019-08-15 01:01:53 -0600 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2019-08-15 07:09:17 -0600

As I couldn't find anything to blacklist packages while invoking catkin_make_isolated, I added a blacklist option - see catkin #1027.

Use : catkin_make_isolated --ignore-pkg foo bar

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

2 followers

Stats

Asked: 2019-08-14 13:41:41 -0600

Seen: 56 times

Last updated: Aug 15