rtos: fixes warning
commita84d237acfa06ed2e40d5db807ff1a1a7d28cd8d
authorØyvind Harboe <oyvind.harboe@zylin.com>
Thu, 7 Mar 2013 11:56:19 +0000 (7 12:56 +0100)
committerØyvind Harboe <oyvindharboe@gmail.com>
Tue, 12 Mar 2013 08:42:55 +0000 (12 08:42 +0000)
tree37e9337671a8b7af6471874921d0718ec49e2e38
parent07dcd5648d146d38f9ffa619f0737587e592d0b6
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>
src/rtos/linux.c