diff --git a/scripts/run_metrics.sh b/scripts/run_metrics.sh index f70ccf1cd..88c207b32 100755 --- a/scripts/run_metrics.sh +++ b/scripts/run_metrics.sh @@ -108,6 +108,10 @@ if [ -n "$test_filter" ]; then test_binary_args+=("--test-filter $test_filter") fi +if [ -n "$test_exclude" ]; then + test_binary_args+=("--test-exclude $test_exclude") +fi + # Ensure that git commands can be run in this directory (for metrics report) git config --global --add safe.directory "$PWD" diff --git a/scripts/test-util.sh b/scripts/test-util.sh index 895843933..5b414f858 100644 --- a/scripts/test-util.sh +++ b/scripts/test-util.sh @@ -122,6 +122,10 @@ process_common_args() { shift test_filter="$1" ;; + "--test-exclude") + shift + test_exclude="$1" + ;; "--build-guest-kernel") build_kernel=true ;;