]> git.sur5r.net Git - openocd/commit
rtos: allow symbols to be optional for a particular RTOS
authorPaul Fertser <fercerpav@gmail.com>
Sat, 25 Oct 2014 07:20:10 +0000 (11:20 +0400)
committerSpencer Oliver <spen@spen-soft.co.uk>
Mon, 24 Nov 2014 22:21:37 +0000 (22:21 +0000)
commit6d562283b5191fc3949894cd49f767fc299ca404
treeebd69bd66bbb179e85dc6535813301dadc1dee1b
parent08607aefc0da2394bcce067989812081f742f5e2
rtos: allow symbols to be optional for a particular RTOS

Default to non-optional.

Change-Id: Ifc9ddb1ab701a19c3760f95da47da6f7d412ff2e
Signed-off-by: Paul Fertser <fercerpav@gmail.com>
Reviewed-on: http://openocd.zylin.com/2355
Tested-by: jenkins
Reviewed-by: Christian Gudrian <christian.gudrian@gmx.de>
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
src/rtos/ChibiOS.c
src/rtos/FreeRTOS.c
src/rtos/ThreadX.c
src/rtos/eCos.c
src/rtos/embKernel.c
src/rtos/linux.c
src/rtos/rtos.c
src/rtos/rtos.h