diff --git a/project.py b/project.py index 45b6c636..bc385f20 100644 --- a/project.py +++ b/project.py @@ -1698,6 +1698,11 @@ class Project(object): if cb is None or name != cb: kill.append(name) + # Minor optimization: If there's nothing to prune, then don't try to read + # any project state. + if not kill and not cb: + return [] + rev = self.GetRevisionId(left) if cb is not None \ and not self._revlist(HEAD + '...' + rev) \