From eb81f4bce2fd2c4999bb12f114ed620a86a38d01 Mon Sep 17 00:00:00 2001
From: Hamish Willee <hamishwillee@gmail.com>
Date: Fri, 6 Sep 2019 14:37:38 +1000
Subject: [PATCH] ubuntu.sh: Add note to reboot computer

---
 Tools/setup/ubuntu.sh | 5 +++++
 1 file changed, 5 insertions(+)

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