From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 27 Jul 2005 23:13:15 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ec0697172ed4dbe1b65acb6f8c5cb30f5a9688a;p=pintos-anon

Update.
---

diff --git a/TODO b/TODO
index 3d3207c..726b118 100644
--- a/TODO
+++ b/TODO
@@ -1,20 +1,11 @@
 -*- text -*-
 
-* Put time limits on tests.
+* Get rid of rox--causes more trouble than it's worth
 
-* `make grade'
-
-* We need better and more example programs.
-
-  - Need an mmap example program as a replacement for the crappy mmap FAQ
-    question.
-
-* Give advice on how to use `diff' to find out what has changed
+* Reconsider command line arg style--confuses everyone.
 
 * pintos script doesn't (always?) delete temp disks
 
-* GNU make 3.80 or later is required.
-
 * Finish writing tour.