From 436f6e63072f3537e66cef87dd8f6ae776dd0454 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Wed, 11 Sep 2019 17:08:18 +0200
Subject: port building of redis to python

---
 src/benchmarks/redis/Makefile | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 src/benchmarks/redis/Makefile

(limited to 'src/benchmarks/redis')

diff --git a/src/benchmarks/redis/Makefile b/src/benchmarks/redis/Makefile
deleted file mode 100644
index de72342..0000000
--- a/src/benchmarks/redis/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-OBJDIR ?= obj
-
-unexport CC
-unexport CXX
-unexport WARNFLAGS
-unexport COMMONFLAGS
-unexport OPTFLAGS
-unexport CFLAGS
-unexport CXXFLAGS
-unexport LDFLAGS
-unexport LDXXFLAGS
-
-.PHONY = all clean
-
-all:
-	@echo building redis benchmark
-	./build.sh $(OBJDIR) $(REDIS_VERSION)
-
-clean:
-	rm -rf $(OBJDIR)
-- 
cgit v1.2.3