Update.

diff --git a/TODO b/TODO
index b84fbddf527878539c99f356a090e141c31ca0c0..7c9c42b841e0c2f820c789c315eb17f8491d751a 100644 (file)
--- a/TODO
+++ b/TODO
@@ -6,6 +6,12 @@
 
 * Need targets for checking single tests or single subdirs
 
+  - `make check' should say how to get more information
+
+  - `make recheck', `make clean-check'
+
+* Need to put time limits on tests.
+
 * Add a way for students to prints messages ignored by the autograder.
 
   - Ignore text between /* and */.