diff options
| -rwxr-xr-x | bin/repoman | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/bin/repoman b/bin/repoman index 5c2f03a56..f7831cf50 100755 --- a/bin/repoman +++ b/bin/repoman @@ -1738,8 +1738,23 @@ else: # Manifests need to be regenerated after all other commits, so don't commit # them now even if they have changed. - mymanifests = [f for f in mychanged if "Manifest" == os.path.basename(f)] - mychanged = [f for f in mychanged if "Manifest" != os.path.basename(f)] + mymanifests = set() + changed_set = set() + new_set = set() + for f in mychanged: + if "Manifest" == os.path.basename(f): + mymanifests.add(f) + else: + changed_set.add(f) + for f in mynew: + if "Manifest" == os.path.basename(f): + mymanifests.add(f) + else: + new_set.add(f) + mychanged = list(changed_set) + mynew = list(new_set) + mymanifests = list(mymanifests) + del changed_set, new_set myupdates = mychanged + mynew myheaders = [] mydirty = [] |