From ce64d479cc813ba7bff9767ba5f2e0d1c797ba8a Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Thu, 12 Oct 2023 18:51:05 +0200 Subject: [PATCH] Update docs/platform-specification.md Co-authored-by: Umberto Baldi <34278123+umbynos@users.noreply.github.com> --- docs/platform-specification.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/platform-specification.md b/docs/platform-specification.md index a842211f0c6..c34047bf8d9 100644 --- a/docs/platform-specification.md +++ b/docs/platform-specification.md @@ -1361,7 +1361,7 @@ OpenOCD server specific configurations: - `debug.server.openocd.path`: is the absolute path to the OpenOCD directory - `debug.server.openocd.scripts_dir`: is the absolute path to the OpenOCD scripts directory -- `debug.server.openocd.scripts.N`: is a list of OpenOCD scripts to run, where N is a number (a sequence of +- `debug.server.openocd.scripts.N`: is a list of OpenOCD script files to run, where N is a number (a sequence of non-consecutive numbers is allowed) - `debug.server.openocd.script`: if there is only one OpenOCD script to run, this directive con be used instead of the `debug.server.openocd.scripts.N` (this directive is ignored if `debug.server.openocd.scripts.N` is present)