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

/gem5/util/dist/
H A Dgem5-dist.sh234 [ "x$WATCHDOG_PID" != "x" ] && kill $WATCHDOG_PID 2>/dev/null
367 WATCHDOG_PID=$!
378 kill $WATCHDOG_PID 2>/dev/null

Completed in 4 milliseconds