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