diff options
author | Paul Fertser <fercerpav@gmail.com> | 2014-10-25 11:20:10 +0400 |
---|---|---|
committer | Spencer Oliver <spen@spen-soft.co.uk> | 2014-11-24 22:21:37 +0000 |
commit | 6d562283b5191fc3949894cd49f767fc299ca404 (patch) | |
tree | ebd69bd66bbb179e85dc6535813301dadc1dee1b /src/target/nds32_v3m.c | |
parent | 08607aefc0da2394bcce067989812081f742f5e2 (diff) |
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>
Diffstat (limited to 'src/target/nds32_v3m.c')
0 files changed, 0 insertions, 0 deletions