From b7afac6bc24548799b945d2d8e3d8b72904272d8 Mon Sep 17 00:00:00 2001
From: yoav-steinberg <yoav@monfort.co.il>
Date: Wed, 27 Oct 2021 14:48:08 +0300
Subject: [PATCH] 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
---
 deps/update-jemalloc.sh | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 deps/update-jemalloc.sh

diff --git a/deps/update-jemalloc.sh b/deps/update-jemalloc.sh
deleted file mode 100755
index 8ffbe1d70..000000000
--- a/deps/update-jemalloc.sh
+++ /dev/null
@@ -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."