message: Add --batch argument for skipping prompts
diff: #!/bin/bash
  # Check that the test directory and report path arguments are provided
  -if [ $# -ne 2 ]
  +if [ $# -lt 2 ]
  then
  echo "Usage: $0 <testdir> <outdir>"
  echo "All tests in <testdir> and its subdirectories will be run to measure coverage."
  @@ -9,6 +9,13 @@ then
  exit 1
  fi
  +# User prompts will be skipped if '--batch' is given as the third argument
  +SKIP_PROMPTS=0
  +if [ $# -eq 3 -a "$3" == "--batch" ]
  +then
  + SKIP_PROMPTS=1
  +fi
  +
  # Set the directory containing the tests to run (includes subdirectories)
  TEST_DIR=$1
  @@ -45,12 +52,15 @@ if ! [ -x "$(command -v lcov)" ]; then
  fi
  # Warn that cargo clean will happen
  +if [ $SKIP_PROMPTS -eq 0 ]
  +then
  read -p "Generate coverage report? This will run cargo clean. [yY/*] " -n 1 -r
  echo ""
  if [[ ! $REPLY =~ ^[Yy]$ ]]
  then
  [[ "$0" = "$BASH_SOURCE" ]] && exit 1 || return 1
  fi
  +fi
  export RUSTFLAGS="-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Coverflow-checks=off -Zno-landing-pads"
  export CARGO_INCREMENTAL=0
  