From: Freddie Chopin Date: Sun, 27 Jan 2013 16:08:23 +0000 (+0100) Subject: rtos: fix error message X-Git-Tag: v0.7.0-rc1~90 X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=4a5c9a4965eff5aa678ccc7d1f50da714238b77a;hp=4a5c9a4965eff5aa678ccc7d1f50da714238b77a rtos: fix error message Probably a copy&paste error or remainings of some older version. Change-Id: Ifb81a9a1fe8242f3b114cd0686dd264fbaad4920 Signed-off-by: Freddie Chopin Reviewed-on: http://openocd.zylin.com/1123 Tested-by: jenkins Reviewed-by: Øyvind Harboe ---