Updated Dockerfile

Robotic-Decision-Making-Lab · Jun 11, 2024 · d1579aa · d1579aa
1 parent 78b1ee9
commit d1579aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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