Fix for 15.10.

This commit is contained in:
Gav Wood 2016-02-04 23:16:41 +01:00
parent 7e87546523
commit d80d8c792b

View File

@ -548,7 +548,7 @@ function run_installer()
function linux_rocksdb_installer()
{
if [[ $isUbuntu1404 ]]; then
if [[ $isUbuntu1404 == true ]]; then
ubuntu1404_rocksdb_installer
else
oldpwd=`pwd`