message: A small tweak in the script 'config/sample-runs.sh' for
  the case when using externally built MFEM.
diff: @@ -467,7 +467,8 @@ fi
  TIMEFORMAT="${base_timeformat}"
  -# Setup devices
  +# Setup optional libraries when not using externally built MFEM:
  +if [ "${built}" == "no" ]; then
  have_occa="no"
  have_raja="no"
  have_ceed="no"
  @@ -488,6 +489,7 @@ if [ "${device_runs}" == "yes" ]; then
  have_ceed="yes"
  fi
  fi
  +fi
  function set_echo_log()
  {
  