From 8174a918ea3b7cb216bf7ea98cfdc10661b5c37d Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Wed, 6 May 2020 16:56:32 +0200
Subject: 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
---
 src/benchmarks/redis/build.sh | 37 -------------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100755 src/benchmarks/redis/build.sh

(limited to 'src/benchmarks/redis')

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
-- 
cgit v1.2.3