]> git.sur5r.net Git - openocd/commit
projects / openocd / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ca1592) | patch
docs: Fix incorrect -rtos option values
authorPeter Stuge <peter@stuge.se>
Mon, 14 May 2012 15:47:09 +0000 (17:47 +0200)
committerSpencer Oliver <spen@spen-soft.co.uk>
Mon, 14 May 2012 16:23:42 +0000 (16:23 +0000)
commit064475459bf869d5c722851fdfd22719ec0a3adc
treeef81da8823018d5f47ae402bae716306eacf7d85tree | snapshot
parent9ca1592cb9fe4e61ee5bc327345fdfc254c9fe13commit | diff
docs: Fix incorrect -rtos option values

Commit 9ca1592cb9fe4e61ee5bc327345fdfc254c9fe13 started on documentation
for the -rtos option, but some of the documented values were incorrect so
we'll clean up the mess here.

Many thanks to Freddie Chopin for spotting this!

Change-Id: Iaa633bd40ff5f75dd6a69e74e79dafc1643ee21a
Signed-off-by: Peter Stuge <peter@stuge.se>
Reviewed-on: http://openocd.zylin.com/642
Reviewed-by: Freddie Chopin <freddie.chopin@gmail.com>
Tested-by: jenkins
doc/openocd.texi diff | blob | history
Cloned from https://git.code.sf.net/p/openocd/code