diff options
author | lloyd <[email protected]> | 2010-09-08 16:40:00 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2010-09-08 16:40:00 +0000 |
commit | fb9bbfcc8953cfa4a817b05a036289ea02082a77 (patch) | |
tree | 4a090ddc9515de7638419752b769dde5760f0949 /doc/api.tex | |
parent | 46ddcdbc63717a48d4275b8071aa31baa18fba6f (diff) |
Add an (undocumented) option --dirty-tree which does not delete the build
directory. Useful for me when testing under Windows (no ccache).
Diffstat (limited to 'doc/api.tex')
0 files changed, 0 insertions, 0 deletions