From 729ea2ddb4b51460e28a4d7488f95f44ff2d720c Mon Sep 17 00:00:00 2001 From: Lukas Zanger Date: Tue, 19 Nov 2024 13:39:30 +0100 Subject: [PATCH] Add source command --- docker/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/docker/Dockerfile b/docker/Dockerfile index eb1c68c..e0e9535 100644 --- 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} && \