blob: 0d712e1a905cd6bd4dd46106ed0d89b7cefe4581 [file] [log] [blame]
source `dirname $0`/util.sh
record $TESTNAME
TARGET_PID=$(grep 'child ' record.out | awk '{print $2}')
echo Targeting recorded pid $TARGET_PID ...
debug checkpoint_dying_threads "-f $TARGET_PID"