platform: add postbuild recipe to copy openocd.cfg

Due to several issue with Arduino IDE 2 to expand some
properties within Debugger configuration, postbuild recipe
is used to copy the openocd.cg from the correct stm32 series.
Somes issues have been raised on Arduino IDE GitHub, when solved
this recipes should be removed and openocdscript added in
the boards.txt.

Signed-off-by: Frederic Pillon <frederic.pillon@st.com>

Author: fpistm

platform.txt

@@ -119,6 +119,8 @@ extras.path={build.system.path}/extras
 # Create {build.opt} if not exists in the output sketch dir and force include of SrcWrapper library
 recipe.hooks.prebuild.1.pattern="{extras.path}/prebuild.sh" "{build.path}" "{build.source.path}" "{runtime.platform.path}"
 recipe.hooks.prebuild.1.pattern.windows="{runtime.tools.STM32Tools.path}/win/busybox.exe" sh "{extras.path}/prebuild.sh" "{build.path}" "{build.source.path}" "{runtime.platform.path}"
+recipe.hooks.postbuild.1.pattern="{extras.path}/postbuild.sh" "{build.path}" "{build.series}" "{runtime.platform.path}"
+recipe.hooks.postbuild.1.pattern.windows="{runtime.tools.STM32Tools.path}/win/busybox.exe" sh "{extras.path}/postbuild.sh" "{build.path}" "{build.series}" "{runtime.platform.path}"
 
 # compile patterns
 # ---------------------

system/extras/postbuild.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+BUILD_PATH="$1"
+BUILD_SERIE="$2"
+BOARD_PLATFORM_PATH="$3"
+
+# Copy the correct openocd.cfg
+cp -f "$BOARD_PLATFORM_PATH/variants/$BUILD_SERIE/openocd.cfg" "$BUILD_PATH"