diff --git a/tools/openocd/openocd_linux b/tools/openocd/openocd_linux index c17de62..444f247 100755 Binary files a/tools/openocd/openocd_linux and b/tools/openocd/openocd_linux differ