Merge pull request #808 from b-ehlers/fix_build

Build system: Fix bad indent in commit 65d01f8
This commit is contained in:
Jeremy Grossmann 2023-08-08 20:09:53 +10:00 committed by GitHub
commit 5558bd38e0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -438,8 +438,8 @@ def rebuild_images(dry_run, all_flag, forced_images):
for repo in base_repos:
print(f"*** {full_image_name(image['name'], repo)}\n"
f"Reason: {reason}\n")
if not dry_run:
build(image, repo)
if not dry_run:
build(image, repo)
def xor(*params):