Archlinux-Jerry/buildbot
1
0
Fork 0
mirror of https://github.com/archlinux-jerry/buildbot synced 2024-12-22 19:09:23 +08:00
Code Issues Releases Wiki Activity

bad loop

Browse source
This commit is contained in:
JerryXiao 2019-04-10 21:43:10 +08:00
parent 2a00bdd3c9
commit d77f1929b3
Signed by: Jerry
GPG key ID: 9D9CE43650FF2BAA
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
repo.py
View file

@ -268,6 +268,7 @@ def _update(overwrite=False):
logger.warning('Same version is already in the repo.')
throw_away(pkg_to_add)
should_continue = True
break
if should_continue:
continue
copyfile(pkg_to_add, pkg_nlocation)