From c238ae4aa01025761a6c709c812f1e35caabefcd Mon Sep 17 00:00:00 2001
From: Philipp Moritz <pcmoritz@gmail.com>
Date: Sun, 18 Sep 2016 13:57:27 -0700
Subject: [PATCH] do not re-download and rebuild redis if it already exists
 (#10)

---
 thirdparty/build-redis.sh | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/thirdparty/build-redis.sh b/thirdparty/build-redis.sh
index 57c68c97b..230e9ae29 100644
--- a/thirdparty/build-redis.sh
+++ b/thirdparty/build-redis.sh
@@ -1,4 +1,6 @@
-wget http://download.redis.io/releases/redis-3.2.3.tar.gz
-tar xvfz redis-3.2.3.tar.gz
-cd redis-3.2.3
-make
+if [ ! -f redis-3.2.3/src/redis-server ]; then
+  wget http://download.redis.io/releases/redis-3.2.3.tar.gz
+  tar xvfz redis-3.2.3.tar.gz
+  cd redis-3.2.3
+  make
+fi