Sign in
pigweed
/
third_party
/
github
/
project-chip
/
connectedhomeip
/
0c03fa83f2fce2530a8f043d553edf5f67e91348
/
.
/
scripts
/
tools
/
run_if.sh
blob: b53096d0ec10d65203f7b0eb82baf561950c3b61 [
file
] [
log
] [
blame
]
#!/bin/bash
if
[[
$1
==
*
"$2"
*
]];
then
shift
shift
"$@"
fi