From: Ben Pfaff Date: Mon, 22 May 2006 17:51:46 +0000 (+0000) Subject: Wording. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=364c88f334c3c3047e9fe8a7ab3926506ad21a3e;p=pintos-anon Wording. --- diff --git a/src/utils/README b/src/utils/README index 004478f..f27b6e2 100644 --- a/src/utils/README +++ b/src/utils/README @@ -1,6 +1,6 @@ -If your version of Perl predates 5.8.0, then you will need to compile -setitimer-helper (with `make') and install it in PATH, if you want the -"pintos" script's timeout support (with -T) to properly limit the -child's CPU time. Otherwise, it is unneeded. +If your version of Perl predates 5.8.0 and you want the "pintos" +script's timeout support (with -T) to properly limit the child's CPU +time, then you will need to compile setitimer-helper (with `make') and +install it in PATH. Otherwise, setitimer-helper is unneeded. - Ben