From 28b575e364ab583f3214e153817815fe9062f86d Mon Sep 17 00:00:00 2001 From: unknown Date: Sun, 21 Aug 2022 15:44:54 +0200 Subject: [PATCH] Dont require gen_header if not expected to be generated --- builder/main.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/builder/main.py b/builder/main.py index 92a67a6..c80b00d 100644 --- a/builder/main.py +++ b/builder/main.py @@ -526,5 +526,7 @@ env.AddPlatformTarget("uploadfs", target_firm, upload_actions, "Upload Filesyste # # Default targets # - -Default([target_gen_header, target_buildprog, target_size]) +if target_gen_header is not None: + Default([target_gen_header, target_buildprog, target_size]) +else: + Default([target_buildprog, target_size])