Commit a2dd0b92 authored by Tomas Petricek's avatar Tomas Petricek
Browse files

Complete the image if catkin build fails partially.

parent 01666c45
......@@ -88,4 +88,6 @@ cd "${ws}"
catkin init
catkin config --extend "${extend}"
catkin config --cmake-args -DCMAKE_BUILD_TYPE=Release
catkin build -c
if ! catkin build -c; then
echo 'ERROR: Catkin build incomplete!'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment