Home
last modified time | relevance | path

Searched refs:PIDLIST (Results 1 – 2 of 2) sorted by relevance

/build/make/
Denvsetup.sh1127 local PIDLIST="$(pid $1)"
1128 if [[ $PIDLIST =~ ^[0-9]+$ ]] ; then
1129 local PID="$PIDLIST"
1130 elif [ "$PIDLIST" ] ; then
/build/
Denvsetup.sh1127 local PIDLIST="$(pid $1)"
1128 if [[ $PIDLIST =~ ^[0-9]+$ ]] ; then
1129 local PID="$PIDLIST"
1130 elif [ "$PIDLIST" ] ; then