Searched refs:WATCHDOG_PID (Results 1 - 1 of 1) sorted by relevance
/gem5/util/dist/ | ||
H A D | gem5-dist.sh | 234 [ "x$WATCHDOG_PID" != "x" ] && kill $WATCHDOG_PID 2>/dev/null 367 WATCHDOG_PID=$! 378 kill $WATCHDOG_PID 2>/dev/null |
Completed in 8 milliseconds