From d80d8c792b7560feefe829a0fba6b2484cdc9223 Mon Sep 17 00:00:00 2001 From: Gav Wood Date: Thu, 4 Feb 2016 23:16:41 +0100 Subject: [PATCH] Fix for 15.10. --- install-deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-deps.sh b/install-deps.sh index 1e1ce9128..a831bb64f 100755 --- a/install-deps.sh +++ b/install-deps.sh @@ -548,7 +548,7 @@ function run_installer() function linux_rocksdb_installer() { - if [[ $isUbuntu1404 ]]; then + if [[ $isUbuntu1404 == true ]]; then ubuntu1404_rocksdb_installer else oldpwd=`pwd`