Searched refs:old_pid (Results 1 – 1 of 1) sorted by relevance
606 old_pid="`$ADB_CMD -s "$DEVICE" shell top -n 1 | grep $COMPILER_PKGNAME | awk '{print $1}'`"612 if [ "$pid" = "$old_pid" ]; then616 old_pid="$pid"