X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2FREADME;h=f27b6e25d7af7495d3666cf193828399e506fa7d;hb=6df00aaa6cd9ca79cf8784031be08569c130af69;hp=004478f3eeddb193688d606f9d88d170fbae71a1;hpb=bb7e71ecaa84d1dc223e5372e804ba6c9d5bfb00;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