diff options
author | Simon Glass <sjg@chromium.org> | 2014-12-01 17:33:53 -0700 |
---|---|---|
committer | Simon Glass <sjg@chromium.org> | 2015-01-14 21:16:52 -0800 |
commit | 1a915675104771e8afea399a62778c598289775f (patch) | |
tree | f939b72d2c18934096ffe41cb5feb1165f8feda0 /tools/buildman/builder.py | |
parent | 05c96b187ac5a4c81238754555c86dc7c4fba20b (diff) |
buildman: Don't prune output space for 'current source' build
This is not needed since we always do a full (non-incremental) build. Also
it might be dangerous since it will try to delete everything below the
base directory.
Fix this potentially nasty bug.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools/buildman/builder.py')
-rw-r--r-- | tools/buildman/builder.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index 7002034221..05ebfd2021 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -1115,6 +1115,8 @@ class Builder: create. Having left over directories is confusing when the user wants to check the output manually. """ + if not self.commits: + return dir_list = [] for commit_upto in range(self.commit_count): dir_list.append(self._GetOutputDir(commit_upto)) |