From c53d68ee3e21bc380cd6b7900b6c281ec9609f2f Mon Sep 17 00:00:00 2001 From: Wojciech Mitros Date: Thu, 16 Mar 2023 18:08:33 +0100 Subject: [PATCH] build: set the type of build_artifacts Currently, build_artifacts are of type set[str] | list, which prevents us from performing set operations on it. In a future patch, we will want to take a set difference and set intersections with it, so we initialize the type of build_artifacts to a set in all cases. --- configure.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.py b/configure.py index a64d757125..2947907724 100755 --- a/configure.py +++ b/configure.py @@ -1507,10 +1507,10 @@ default_modes = args.selected_modes or [mode for mode, mode_cfg in modes.items() build_modes = {m: modes[m] for m in selected_modes} if args.artifacts: - build_artifacts = [] + build_artifacts = set() for artifact in args.artifacts: if artifact in all_artifacts: - build_artifacts.append(artifact) + build_artifacts.add(artifact) else: print("Ignoring unknown build artifact: {}".format(artifact)) if not build_artifacts: