X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2FREADME;h=f27b6e25d7af7495d3666cf193828399e506fa7d;hb=364c88f334c3c3047e9fe8a7ab3926506ad21a3e;hp=004478f3eeddb193688d606f9d88d170fbae71a1;hpb=a7f3ab1350076b71020f6fa859a9b2543a12f6e5;p=pintos-anon

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