From 63fc0d63733d89cbe69d5da2e54d01683c6d280f Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 14 Jan 2025 13:47:22 -0600
Subject: [PATCH] Also do not use jemalloc for examples
---
ci-support.sh | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/ci-support.sh b/ci-support.sh
index bfa441e..cf15100 100644
--- a/ci-support.sh
+++ b/ci-support.sh
@@ -586,11 +586,11 @@ run_examples()
CONDA_JEMALLOC="$CONDA_PREFIX/lib/libjemalloc.so.2"
if test "$CONDA_PREFIX" != "" && test -f "$CONDA_JEMALLOC"; then
- echo "*** running with $CONDA_JEMALLOC in LD_PRELOAD"
- CI_SUPPORT_LD_PRELOAD="$CONDA_JEMALLOC"
- else
- CI_SUPPORT_LD_PRELOAD="$LD_PRELOAD"
+ # echo "*** running with $CONDA_JEMALLOC in LD_PRELOAD"
+ # CI_SUPPORT_LD_PRELOAD="$CONDA_JEMALLOC"
+ echo "*** $CONDA_JEMALLOC installed, skipping because of crashes observed in January 2025"
fi
+ CI_SUPPORT_LD_PRELOAD="$LD_PRELOAD"
if [[ $example_script == *mpi* ]]; then
# FIXME: This command line is OpenMPI-specific.)