Add source command

ika-rwth-aachen · Nov 19, 2024 · 729ea2d · 729ea2d
1 parent 47862e4
commit 729ea2d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -274,6 +274,7 @@ FROM dev AS build
 RUN if [[ -x "$(command -v colcon)" ]]; then \
         source /opt/ros/${ROS_DISTRO}/setup.bash && \
         [[ -f /opt/ws_rmw_zenoh/install/setup.bash ]] && source /opt/ws_rmw_zenoh/install/setup.bash ; \
+        [[ -f /opt/ws_base_image/install/setup.bash ]] && source /opt/ws_base_image/install/setup.bash ; \
         colcon build --cmake-args -DCMAKE_BUILD_TYPE=Release ; \
     elif [[ -x "$(command -v catkin)" ]]; then \
         catkin config --install --extend /opt/ros/${ROS_DISTRO} && \