[CI] Add url option

Allow to change the default url for the board manager

Signed-off-by: Frederic Pillon <[email protected]>

Author: fpistm

CI/build/arduino-cli.py

@@ -161,6 +161,8 @@ def check_config():
     global root_output_dir
     global output_dir
     global log_file
+    global stm32_url
+
     if args.ci is False:
         if os.path.isfile(path_config_filename):
             try:
@@ -215,6 +217,9 @@ def check_config():
                 + arduino_cli_default_version
             )
 
+    if args.url:
+        stm32_url = args.url
+
     try:
         output = subprocess.check_output(
             [arduino_cli, "core", "search", "stm32", "--additional-urls", stm32_url],
@@ -874,6 +879,12 @@ def build(build_conf):
     + cores_config_file_default,
 )
 
+parser.add_argument(
+    "-u", "--url", metavar="<string>", help="additional URL for the board manager\
+    Default url : "
+    + stm32_url,
+)
+
 parser.add_argument(
     "-v", "--verbose", help="enable arduino-cli verbose mode", action="store_true"
 )