install-deps doesn't need docker any more

This commit is contained in:
Konstantin Kudryavtsev 2016-02-05 06:55:15 -05:00
parent c7776c38fd
commit c8a556c47c

View File

@ -385,7 +385,6 @@ function run_installer()
find_gcc find_gcc
find_apt find_apt
find_docker
} }
function find_rocksdb() function find_rocksdb()
@ -519,23 +518,6 @@ function run_installer()
fi 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() function ubuntu1404_rocksdb_installer()
{ {
sudo apt-get update -qq sudo apt-get update -qq