message: Two fixes in the behavior of build_and_test
diff: @@ -111,8 +111,8 @@ fi
  build_dir="${build_root}/build_${hostconfig//.mk/}"
  -# Build
  -if [[ "${option}" != "--deps-only" && "${option}" != "--test-only" ]]
  +# Build (also build when asked for testing, to make sure we test what we want)
  +if [[ "${option}" != "--deps-only" ]]
  then
  echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"
  echo "~ Host-config: ${hostconfig_path}"
  @@ -131,7 +131,7 @@ then
  fi
  # Test
  -if [[ "${option}" != "--build-only" ]]
  +if [[ "${option}" != "--deps-only" && "${option}" != "--build-only" ]]
  then
  echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"
  echo "~~~~~ Testing MFEM"
  