Dont require gen_header if not expected to be generated

maxgerhardt · maxgerhardt · commit 28b575e364ab · 2022-08-21T15:44:54.000+02:00
diff --git a/builder/main.py b/builder/main.py
@@ -526,5 +526,7 @@ def _jlink_cmd_script(env, source):
 #
 # 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])

Original file line number	Diff line number	Diff line change
`@@ -526,5 +526,7 @@ def _jlink_cmd_script(env, source):`
`526`	`526`	`#`
`527`	`527`	`# Default targets`
`528`	`528`	`#`
`529`		`-`
`530`		`-Default([target_gen_header, target_buildprog, target_size])`
	`529`	`+if target_gen_header is not None:`
	`530`	`+ Default([target_gen_header, target_buildprog, target_size])`
	`531`	`+else:`
	`532`	`+ Default([target_buildprog, target_size])`