From c398377f92d708b06f8b6dc01413fa11f0b1c477 Mon Sep 17 00:00:00 2001 From: Laurent Peuch Date: Tue, 3 May 2016 21:04:40 +0200 Subject: [PATCH] [fix] also test if repo has changed of url before chosing to rebuild --- list_builder.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/list_builder.py b/list_builder.py index 82876033..55740fb1 100755 --- a/list_builder.py +++ b/list_builder.py @@ -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