When calling openocd from a shell like this: