From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 23 May 2005 17:18:49 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ceab184f54fc82e5b5b65e4b906c802b3c5caba;p=pintos-anon

Update.
---

diff --git a/TODO b/TODO
index 1bf1d24..b84fbdd 100644
--- a/TODO
+++ b/TODO
@@ -1,8 +1,14 @@
 -*- text -*-
 
+* Test pintos with GSX.
+
+* Get rid of warnings for NDEBUG build.
+
+* Need targets for checking single tests or single subdirs
+
 * Add a way for students to prints messages ignored by the autograder.
 
-  - Ignore lines that start with `#'?
+  - Ignore text between /* and */.
 
   - Allow for a comment on `exit' lines?