projects
/
platform
/
upstream
/
ninja.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7bd1124
)
add idea
author
Evan Martin
<martine@danga.com>
Sat, 22 Jan 2011 22:33:41 +0000
(14:33 -0800)
committer
Evan Martin
<martine@danga.com>
Sat, 22 Jan 2011 22:33:41 +0000
(14:33 -0800)
todo
patch
|
blob
|
history
diff --git
a/todo
b/todo
index
534101e
..
7dfbcdd
100644
(file)
--- a/
todo
+++ b/
todo
@@
-1,3
+1,6
@@
+if command line for an output changed, no need to even stat
+the output, just mark it for rebuilding immediately.
+
delete halfway-built output files when interrupted
"explain" mode that shows why we're building a file