Updated build_jemalloc script

2019-10-15 18:39:49 +02:00 · 2019-10-15 18:39:49 +02:00 · 16abb0dc5a
commit 16abb0dc5a
parent b4ed72d448
1 changed files with 1 additions and 1 deletions
--- 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