yujinrobot / yujin_tools

Tools and utilities for development, typically with ROS build environments.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add option to force "build here"

bit-pirate opened this issue · comments

Now that "build everywhere" (#20) has been implement, it would be nice to have a "build here".

This is useful for the rare cases, when you switch workspaces, but the new ws has not yet a setup.bash to source or it has been deleted.

Maybe something like yujin_make . or yujin_make --here