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