Merge pull request #35 from richardxia/have-openocd-pick-gdb-server-port
authorTim Newsome <tim@sifive.com>
Fri, 11 Nov 2016 20:19:46 +0000 (12:19 -0800)
committerGitHub <noreply@github.com>
Fri, 11 Nov 2016 20:19:46 +0000 (12:19 -0800)
commit98a7fc66ec9342d6e3f1e3477c2e30d75f78c294
tree32a967a8b4d775632b7b2c38adc34c8dd93751f3
parentf7bb852141c107722bdb0302d11b6f992a6991d5
parentda7763c222260acc4b5807a25c316f8710b80923
Merge pull request #35 from richardxia/have-openocd-pick-gdb-server-port

Tell OpenOCD to pick an unused port for gdb server