Allow "tcl_port" to be run after config to simply display the port.
[openocd.git] / tcl / cpu / 
treec2a3ae78d6a6baec51d79b4bd418bdfb77f214a9
drwxr-xr-x   ..
drwxr-xr-x - arm