diff options
| author | Petr Wolf <petr.wolf@gmail.com> | 2012-10-04 19:42:15 (GMT) |
|---|---|---|
| committer | Petr Wolf <petr.wolf@gmail.com> | 2012-10-04 19:42:15 (GMT) |
| commit | 931aac42522c7e4a340cc77bb115ba89d808c7a5 (patch) | |
| tree | 0ef58a12f8872fa7e112cb52aa5842fb5cb1d27a /src/clean.h | |
| parent | 44f2cb66a72f1061b400bcd45a085eb7a0ec8846 (diff) | |
| download | Ninja-931aac42522c7e4a340cc77bb115ba89d808c7a5.zip Ninja-931aac42522c7e4a340cc77bb115ba89d808c7a5.tar.gz Ninja-931aac42522c7e4a340cc77bb115ba89d808c7a5.tar.bz2 | |
Improve the efficiency of -t clean
Prevent each node from being examined for cleaning multiple times, if it
is used in several other nodes
Diffstat (limited to 'src/clean.h')
| -rw-r--r-- | src/clean.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/clean.h b/src/clean.h index 5938dff..8359901 100644 --- a/src/clean.h +++ b/src/clean.h @@ -95,6 +95,7 @@ class Cleaner { State* state_; const BuildConfig& config_; set<string> removed_; + set<Node*> cleaned_; int cleaned_files_count_; DiskInterface* disk_interface_; int status_; |