Change-Id: Ifb114bfc062ed7c0ff6e4f37a1a6d546f5415344
Signed-off-by: Marc Schink <openocd-dev@marcschink.de>
Reviewed-on: http://openocd.zylin.com/4970


Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>