Commit 63fc0d63 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Also do not use jemalloc for examples

parent b01966bb

ci-support.sh

+4 −4
Original line number Diff line number Diff line
@@ -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.)