From 3b8e34eeec8428bb7db4bf62ea5f3ad29b1cf121 Mon Sep 17 00:00:00 2001 From: Ian Chen Date: Fri, 16 May 2025 19:35:12 +0000 Subject: [PATCH] remove exit Signed-off-by: Ian Chen --- .../docker/lib/_generic_linux_compilation_build.sh.bash | 1 - 1 file changed, 1 deletion(-) diff --git a/jenkins-scripts/docker/lib/_generic_linux_compilation_build.sh.bash b/jenkins-scripts/docker/lib/_generic_linux_compilation_build.sh.bash index dd6c86b5f..a43f0fb79 100644 --- a/jenkins-scripts/docker/lib/_generic_linux_compilation_build.sh.bash +++ b/jenkins-scripts/docker/lib/_generic_linux_compilation_build.sh.bash @@ -83,7 +83,6 @@ if [ -f /opt/ros/${ROS_DISTRO_SETUP_NEEDED}/setup.bash ]; then source /opt/ros/${ROS_DISTRO_SETUP_NEEDED}/setup.bash else echo "ROS_DISTRO_SETUP_NEEDED set to ${ROS_DISTRO_SETUP_NEEDED} but no ROS 2 installation found" - exit 1 fi echo '# END SECTION' DELIM_ROS_DISTRO_SETUP