diff options
| author | Nick Thomas <nick@gitlab.com> | 2018-01-12 13:37:20 +0000 |
|---|---|---|
| committer | Nick Thomas <nick@gitlab.com> | 2018-01-12 13:58:15 +0000 |
| commit | d1c01fe80b3dc94a82a62b563dbda3ebd751a033 (patch) | |
| tree | c9e1d0b73578704ed1beb619bd277794f05a0087 /Makefile | |
| parent | 73e2cf531ca8b92dc48da5024c8095256aa10818 (diff) | |
| download | gitlab-shell-d1c01fe80b3dc94a82a62b563dbda3ebd751a033.tar.gz | |
Remove direct redis integration
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index b4fd50a..0000000 --- a/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -REDIS_RB_VERSION=v3.3.3 -REDIS_RB_VENDOR_DIR=lib/vendor/redis -PWD=`pwd` - -all: - -update-redis: - rm -rf $(REDIS_RB_VENDOR_DIR) - git clone -b $(REDIS_RB_VERSION) https://github.com/redis/redis-rb.git $(REDIS_RB_VENDOR_DIR) - rm -rf $(REDIS_RB_VENDOR_DIR)/.git - -.PHONY=update-redis |