From: Paul Fertser <fercerpav@gmail.com>
Date: Mon, 20 Apr 2015 09:02:48 +0000 (+0300)
Subject: rtos: fix print format specifiers
X-Git-Tag: v0.9.0-rc1~9
X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=0d50dfe31840ddd282aa2ca7507c45f607284fc6;hp=0d50dfe31840ddd282aa2ca7507c45f607284fc6

rtos: fix print format specifiers

Exposed by arm-none-eabi build.

Change-Id: I657c642249aa83403f93132d1e28713aee692c30
Signed-off-by: Paul Fertser <fercerpav@gmail.com>
Reviewed-on: http://openocd.zylin.com/2724
Tested-by: jenkins
---