mirror of
https://github.com/openocd-org/openocd.git
synced 2025-06-03 13:41:31 +08:00

Still some config file uses deprecated commands. Replace them with the new commands. Change-Id: I6ccbfb832e0ad2012e9af160bd2d92ad104af2bb Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com> Reviewed-on: https://review.openocd.org/c/openocd/+/7181 Tested-by: jenkins