rtos: fix rtos no-auto configuration
authorMatthias Welwarsky <matthias.welwarsky@sysgo.com>
Thu, 1 Mar 2018 16:43:25 +0000 (17:43 +0100)
committerMatthias Welwarsky <matthias@welwarsky.de>
Sat, 3 Mar 2018 08:29:32 +0000 (08:29 +0000)
commiteaeb4191e55c3a23582ecb40b852f95c2e0ea917
treecbd1ed05ce333fc1fde8b78279d0bbbac2ecd30f
parentbae76053dc515252dc5c8235b9a848e461080c66
rtos: fix rtos no-auto configuration

A previous fix avoiding multiple calls to the
rtos_create function had a side effect if rtos
support was configured explicitly. It affected
all rtos' that rely on symbol resolution from
gdb.

Change-Id: Id7f17c6ec5ce2450322d2748a4b2369aaa524a7b
Fixes: 3aa8bd2d1704118ad9bbee2f21cbc15a848c8c5b
Signed-off-by: Matthias Welwarsky <matthias.welwarsky@sysgo.com>
Reviewed-on: http://openocd.zylin.com/4438
Tested-by: jenkins
Reviewed-by: Richard Braun <rbraun@sceen.net>
Reviewed-by: Matthias Welwarsky <matthias@welwarsky.de>
src/rtos/rtos.c