Update.

diff --git a/TODO b/TODO
index 1bf1d2467358588a656e5ddad1246e7d5d0ca5e0..b84fbddf527878539c99f356a090e141c31ca0c0 100644 (file)
--- 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?