diff --git a/.docker/Dockerfile b/.docker/Dockerfile index b9095cc..cfb7f18 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -123,7 +123,7 @@ RUN sudo apt-get -q update \ && sudo rm -rf /var/lib/apt/lists/* RUN . "/opt/ros/${ROS_DISTRO}/setup.sh" \ - && catkin_make \ + && catkin build \ && echo "source ${USER_WORKSPACE}/devel/setup.bash" >> /home/$USERNAME/.bashrc \ && echo "if [ -f /opt/ros/${ROS_DISTRO}/setup.bash ]; then source /opt/ros/${ROS_DISTRO}/setup.bash; fi" >> /home/$USERNAME/.bashrc