YunoHost/yunodevtools
1
0
Fork 0
mirror of https://github.com/YunoHost/yunodevtools.git synced 2024-09-03 20:16:19 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

[fix] also test if repo has changed of url before chosing to rebuild

Browse source
This commit is contained in:
Laurent Peuch 2016-05-03 21:04:40 +02:00
parent 2284d5a1dd
commit a1f320ea88
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
list_builder.py
View file

@ -85,7 +85,7 @@ for app, info in apps_list.items():
manifest = {}
timestamp = None
if already_built_file.get(app, {}).get("git", {}).get("revision", None) == app_rev:
if already_built_file.get(app, {}).get("git", {}).get("revision", None) == app_rev and already_built_file.get(app, {}).get("git", {}).get("url") == app_url:
print("%s[%s] is already up to date in target output, ignore" % (app, app_rev))
result_dict[app] = already_built_file[app]
continue