Searched refs:SW_PID (Results 1 - 1 of 1) sorted by relevance

/gem5/util/dist/
H A Dgem5-dist.sh222 [ "x$SW_PID" != "x" ] && kill $SW_PID 2>/dev/null
249 kill -0 $SW_PID || ((NDEAD+=1))
321 SW_PID=$!
324 connected $RUN_DIR/log.switch "tcp_iface listening on port" "switch" $SW_PID
362 [ "x$GEM5_DEBUG" == "x" ] || { echo "DEBUG session"; wait $SW_PID; exit -1; }
375 wait $SW_PID || ((NFAIL+=1))

Completed in 4 milliseconds