From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 22 May 2006 17:51:46 +0000 (+0000)
Subject: Wording.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=364c88f334c3c3047e9fe8a7ab3926506ad21a3e

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