From 156d95114494d9b02afff45a1f4ee6cfb476b243 Mon Sep 17 00:00:00 2001 From: "Luke.Qin" Date: Fri, 23 Dec 2022 11:24:11 +0800 Subject: [PATCH] Tools: add ignore information in ros-ubuntu installation shell --- Tools/environment_install/install-ROS-ubuntu.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/environment_install/install-ROS-ubuntu.sh b/Tools/environment_install/install-ROS-ubuntu.sh index 90804c15dbc82..b9d888a4042de 100755 --- a/Tools/environment_install/install-ROS-ubuntu.sh +++ b/Tools/environment_install/install-ROS-ubuntu.sh @@ -235,7 +235,7 @@ if maybe_prompt_user "Add ardupilot-ws to your home folder [N/y]?" ; then git clone https://github.com/ArduPilot/ardupilot_ros.git popd sudo apt update - rosdep install --from-paths src --ignore-src --rosdistro=${ROS_DISTRO} -y + rosdep install --from-paths src --ignore-src --rosdistro=${ROS_DISTRO} -y -r catkin build popd else