scripts/tools/run_if.sh - third_party/github/project-chip/connectedhomeip - Git at Google

 #!/usr/bin/env bash

 set -x

 if [[ $1 == *"$2"* ]]; then
     shift
     shift
     "$@"
 fi
	#!/usr/bin/env bash

	set -x

	if [[ $1 == "$2" ]]; then
	shift
	shift
	"$@"
	fi