diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index 55e24fab2f..d327b53e3b 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -189,3 +189,8 @@ if [[ $INSTALL_SIM == "true" ]]; then ; fi + +if [[ $INSTALL_NUTTX == "true" ]]; then + echo + echo "Reboot computer before attempting to build NUTTX targets" +fi