Skip to content

Commit 9e391f5

Browse files
authored
no duplicate append of cmd
1 parent 1d2b07a commit 9e391f5

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

builder/main.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -599,7 +599,6 @@ def firmware_metrics(target, source, env):
599599
dash_index = sys.argv.index("--")
600600
if dash_index + 1 < len(sys.argv):
601601
cli_args = sys.argv[dash_index + 1:]
602-
cmd.extend(cli_args)
603602

604603
# Add CLI arguments before the map file
605604
if cli_args:

0 commit comments

Comments
 (0)