From: Øyvind Harboe <oyvind.harboe@zylin.com>
Date: Thu, 7 Mar 2013 11:56:19 +0000 (+0100)
Subject: rtos: fixes warning
X-Git-Tag: v0.7.0-rc1~60
X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=a84d237acfa06ed2e40d5db807ff1a1a7d28cd8d;hp=a84d237acfa06ed2e40d5db807ff1a1a7d28cd8d

rtos: fixes warning

Change-Id: I45db15b16b52c71009d8830985f42ac88eabe160
Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
Reviewed-on: http://openocd.zylin.com/1209
Tested-by: jenkins
Reviewed-by: Freddie Chopin <freddie.chopin@gmail.com>
Reviewed-by: Øyvind Harboe <oyvindharboe@gmail.com>
---