diff --git a/Tools/environment_install/install-ROS-ubuntu.sh b/Tools/environment_install/install-ROS-ubuntu.sh index 90804c15dbc826..b9d888a4042de6 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