From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 24 May 2005 23:20:19 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=21608dd0aeb9880516e71cc6e9b16e58224118c4;p=pintos-anon

Update.
---

diff --git a/TODO b/TODO
index b84fbdd..7c9c42b 100644
--- 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 */.