From 0b049fa4d767f6d754d97edb33b81e02e8ca047b Mon Sep 17 00:00:00 2001
From: Hamish Willee <hamishwillee@gmail.com>
Date: Thu, 5 Sep 2019 16:53:18 -0700
Subject: [PATCH] Add updated ccache for Ubuntu 16.04 dev scripts

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

diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh
index 61b176e9b7..55e24fab2f 100755
--- a/Tools/setup/ubuntu.sh
+++ b/Tools/setup/ubuntu.sh
@@ -84,6 +84,12 @@ sudo apt-get -yy --quiet --no-install-recommends install \
 	;
 
 
+if [[ "${UBUNTU_RELEASE}" == "16.04" ]]; then
+	echo "Installing Ubuntu 16.04 PX4-compatible cmake"
+	wget -O /tmp/ccache_3.4.1-1_amd64.deb http://launchpadlibrarian.net/356662933/ccache_3.4.1-1_amd64.deb
+	sudo dpkg -i /tmp/ccache_3.4.1-1_amd64.deb
+fi
+
 # Python3 dependencies
 echo
 echo "Installing PX4 Python3 dependencies"