diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2020-05-06 16:56:32 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2020-06-02 11:18:47 +0200 |
| commit | 8174a918ea3b7cb216bf7ea98cfdc10661b5c37d (patch) | |
| tree | 0747ec3ccb9f8d7eeccfac35977fc17855ca3bbb /src/benchmarks/redis/build.sh | |
| parent | 8f52e8fc02dd235582f5961941bcd564e9a681cd (diff) | |
| download | allocbench-8174a918ea3b7cb216bf7ea98cfdc10661b5c37d.tar.gz allocbench-8174a918ea3b7cb216bf7ea98cfdc10661b5c37d.zip | |
make the whole project more python idiomatic
* rename src directory to allocbench
* make global variable names UPPERCASE
* format a lot of code using yapf
* use lowercase ld_preload and ld_library_path as Allocator members
* name expected Errors 'err' and don't raise a new Exception
* disable some pylint messages
Diffstat (limited to 'src/benchmarks/redis/build.sh')
| -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 |