[jsk_fetch_startup] Suppress catkin build log #160

Merged

708yamaguchi merged 3 commits intoknorth55:fetch15from tkmtnt7000:update-workspace

Dec 14, 2021

+4-2

Commits on Dec 14, 2021

[jsk_fetch_startup] Suppress catkin build log

tkmtnt7000
authored and
JSK fetch user
committed
display std_output and send mail only when update workspece fails

tkmtnt7000
authored and
JSK fetch user
committed
Not using tee and fix incorrect indent

tkmtnt7000
authored and
JSK fetch user
committed