**** BEGIN LOGGING AT Mon Jul 12 02:59:57 2010
Jul 12 17:30:00 <jpd> openocd question
Jul 12 17:30:23 <jpd> If I use the telnet interface, all is fine, but
Jul 12 17:30:33 <jpd> openocd -c halt
Jul 12 17:30:54 <jpd> gives me "invalid command name"
Jul 12 17:31:08 <jpd> What am I doing wrong?
Jul 12 20:02:48 <wookey> jpd: you need a config file too?
Jul 12 20:49:37 <jpd> wookey: Well, I have a config file, and "openocd" by itself works.
**** BEGIN LOGGING AT Tue Jul 13 15:10:14 2010
**** ENDING LOGGING AT Wed Jul 14 02:59:56 2010