mirrors
/
redis
mirror of https://mirror.osredm.com/root/redis.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove update-jemalloc.sh, it's not needed anymore (#9690) 

We now use git subtree for deps/jemalloc, updating
jemalloc is detailed in deps/README.md
This commit is contained in:
yoav-steinberg 2021-10-27 14:48:08 +03:00 committed by GitHub
parent 975f51fe16
commit b7afac6bc2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
deps/update-jemalloc.sh vendored
View File

@ -1,9 +0,0 @@
#!/bin/bash
VER=$1
URL="http://www.canonware.com/download/jemalloc/jemalloc-${VER}.tar.bz2"
echo "Downloading $URL"
curl $URL > /tmp/jemalloc.tar.bz2
tar xvjf /tmp/jemalloc.tar.bz2
rm -rf jemalloc
mv jemalloc-${VER} jemalloc
echo "Use git status, add all files and commit changes."