From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 10 Jan 2005 08:03:59 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bc0cc9ec385f55e8dee745f55e25d98908255636;p=pintos-anon

Update.
---

diff --git a/TODO b/TODO
index 15902a2..31606d1 100644
--- a/TODO
+++ b/TODO
@@ -1,5 +1,11 @@
 -*- text -*-
 
+* Miscellaneous:
+
+  - Currently the `pintos' utility has a broken return code policy: it
+    returns 1 to indicate success.  It inherited this mistake from
+    Bochs, which does something similar.  This needs to be fixed.
+
 * Userprog project:
 
   - Move `join' implementation here, from `threads' project, to help