Andy Walter <[EMAIL PROTECTED]> writes:
> We use a simple shell script for this.
>
> The relevant part is this:
>
> #!/bin/bash
> set -m
> ${YOUR_VM} ${TEST} || echo "FAIL: execution aborted" &
> vm_pid=$!
> sleep ${TIMEOUT} && kill -kill $vm_pid 2>/dev/null && echo "Test timed out" &
> kill_pid=$!
> fg ${YOUR_VM} 2>/dev/null
> kill -kill $kill_pid 2>/dev/null && echo Test did not time out
Thanks, this seems simple enough.
Brian
--
Brian Jones <[EMAIL PROTECTED]>
_______________________________________________
Classpath mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/classpath
