From 16abb0dc5a1868d9220b56c9703c70a207c56c69 Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Tue, 15 Oct 2019 18:39:49 +0200 Subject: [PATCH] Updated build_jemalloc script --- libraries/build_jemalloc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libraries/build_jemalloc.sh b/libraries/build_jemalloc.sh index dd6073a..4de2922 100755 --- a/libraries/build_jemalloc.sh +++ b/libraries/build_jemalloc.sh @@ -48,7 +48,7 @@ fi #Link the final so cd .. -if [[ -f libjemalloc.so.2 ]]; then +if [[ -L libjemalloc.so.2 || -f libjemalloc.so.2 ]]; then echo "Removing old jemalloc link" rm libjemalloc.so.2 fi