Make timeouts based on CPU time.
[pintos-anon] / src / utils / README
1 If your version of Perl predates 5.8.0, then you will need to compile
2 setitimer-helper (with `make') and install it in PATH, if you want the
3 "pintos" script's timeout support (with -T) to properly limit the
4 child's CPU time.  Otherwise, it is unneeded.
5
6 - Ben