todo update

diff --git a/todo b/todo
index e24410ffeb2ece0a3d17ed2bef990c907e95e55e..03444b67aeed20e00b5cdfb6bb90be0874f03a14 100644 (file)
--- a/todo
+++ b/todo
@@ -1,4 +1,4 @@
-save command lines
+delete halfway-built output files when interrupted
 collect per-command timing, perhaps saving with command lines
 
 "explain" mode that shows why we're building a file