diff options
Diffstat (limited to 'util/flash_ec')
| -rwxr-xr-x | util/flash_ec | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/flash_ec b/util/flash_ec index bc09c4c9c2..3d1f949996 100755 --- a/util/flash_ec +++ b/util/flash_ec @@ -850,6 +850,7 @@ function claim_pty() { # reverse order to SIGSTOP parents before children for pid in $(echo "${pids}" | tac -s " "); do + # shellcheck disable=SC2009 if ps -o cmd= "${pid}" | grep -qE "(servod|/sbin/init)"; then info "Skip stopping servod or init: process ${pid}." else |