From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 1 Apr 2005 00:12:11 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1e9a0b0c518ad32851cfad720676ccc8fac552f5;p=pintos-anon

Update.
---

diff --git a/TODO b/TODO
index 494cd72..e037e2b 100644
--- a/TODO
+++ b/TODO
@@ -106,8 +106,6 @@
 
 * Code:
 
-  - Make printf() test actually check its results.
-
   - Make threads test use a program and arguments like the other
     projects.
 
@@ -121,3 +119,6 @@
     documentation.
 
   - Need to check the wait system call more thoroughly.
+
+  - Library is not precisely standard, e.g. ptrdiff_t should not be
+    defined by stdlib.h.