do not re-download and rebuild redis if it already exists (#10)

2026-06-30 09:05:47 +08:00 · 2016-09-18 13:57:27 -07:00
parent b18f214d55
commit c238ae4aa0
1 changed files with 6 additions and 4 deletions
@@ -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