From 884a8795623087d4812511de21dfb9329fa29e56 Mon Sep 17 00:00:00 2001
From: Frederic Crozat <fred@crozat.net>
Date: Mon, 21 Sep 2015 19:55:28 +0200
Subject: [PATCH] Do not fail if tput is not available

Fixes issue #4376
---
 tools/install.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/install.sh b/tools/install.sh
index 4b1a6ba7e..30d66d4b5 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -2,7 +2,10 @@ set -e
 
 # Use colors, but only if connected to a terminal, and that terminal
 # supports them.
-ncolors=$(tput colors)
+tput=$(which tput)
+if [ -n "$tput" ]; then
+    ncolors=$($tput colors)
+fi
 if [ -t 1 ] && [ -n "$ncolors" ] && [ "$ncolors" -ge 8 ]; then
   RED="$(tput setaf 1)"
   GREEN="$(tput setaf 2)"