From c8a556c47cc5867cb18601a7fe5255ffd4cf810d Mon Sep 17 00:00:00 2001
From: Konstantin Kudryavtsev <konstantin.k.ed@gmail.com>
Date: Fri, 5 Feb 2016 06:55:15 -0500
Subject: [PATCH] install-deps doesn't need docker any more

---
 install-deps.sh | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/install-deps.sh b/install-deps.sh
index 5c42bcf2a..bae8fc9a6 100755
--- a/install-deps.sh
+++ b/install-deps.sh
@@ -385,7 +385,6 @@ function run_installer()
 		find_gcc
 
 		find_apt
-		find_docker
 	}
 
 	function find_rocksdb()
@@ -519,23 +518,6 @@ function run_installer()
 		fi
 	}
 
-	function find_docker()
-	{
-		depCount=$((depCount+1))
-		DOCKER_PATH=`which docker 2>/dev/null`
-
-		if [[ -f $DOCKER_PATH ]]
-		then
-			depFound=$((depFound+1))
-			check "docker"
-			echo "$($DOCKER_PATH -v)"
-			isDocker=true
-		else
-			isDocker=false
-			uncheck "docker is missing"
-		fi
-	}
-
 	function ubuntu1404_rocksdb_installer()
 	{
 		sudo apt-get update -qq