diff options
Diffstat (limited to 'src/benchmarks/redis')
| -rwxr-xr-x | src/benchmarks/redis/build.sh | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/src/benchmarks/redis/build.sh b/src/benchmarks/redis/build.sh deleted file mode 100755 index e58cb43..0000000 --- a/src/benchmarks/redis/build.sh +++ /dev/null @@ -1,37 +0,0 @@ -#!/bin/bash - -REDIS_VERSION=5.0.5 -REDIS_DIR=redis-${REDIS_VERSION} -REDIS_ARCHIVE=${REDIS_DIR}.tar.gz -REDIS_URL=http://download.redis.io/releases/${REDIS_ARCHIVE} - -if [[ $# -gt 0 ]] -then - OBJDIR=$1 -else - OBJDIR=obj -fi - -mkdir -p $OBJDIR -cd $OBJDIR - -if [[ ! -d "${OBJDIR}/redis-${REDIS_VERSION}" ]] -then - echo retrievinug ${REDIS_DIR}... - wget ${REDIS_URL} - - echo extracting ${REDIS_ARCHIVE}... - tar xf ${REDIS_ARCHIVE} -fi - -echo building ${REDIS_DIR}... -make -C ${REDIS_DIR} - -echo linking redis-cli... -ln -s -f ${REDIS_DIR}/src/redis-cli - -echo linking redis-server... -ln -s -f ${REDIS_DIR}/src/redis-server - -echo linking redis-benchmark... -ln -s -f ${REDIS_DIR}/src/redis-benchmark |