diff options
author | Franck Jullien <franck.jullien@gmail.com> | 2013-12-29 16:18:51 +0100 |
---|---|---|
committer | Spencer Oliver <spen@spen-soft.co.uk> | 2013-12-31 12:00:49 +0000 |
commit | bc256b17d5e659dff56b33217a2aca94d38cc010 (patch) | |
tree | c504828c9111410a181a83777cdb4e39a60ee97f /tcl | |
parent | f4947e8b88059f55445c4606578d7e195de6baed (diff) |
jtag_vpi: make the server address configurable
Change-Id: I58e89c789b79ffb0b54ef94d208be876c271ddf7
Signed-off-by: Franck Jullien <franck.jullien@gmail.com>
Reviewed-on: http://openocd.zylin.com/1840
Tested-by: jenkins
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
Diffstat (limited to 'tcl')
-rw-r--r-- | tcl/interface/jtag_vpi.cfg | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/tcl/interface/jtag_vpi.cfg b/tcl/interface/jtag_vpi.cfg index 2756b254..a37a11ed 100644 --- a/tcl/interface/jtag_vpi.cfg +++ b/tcl/interface/jtag_vpi.cfg @@ -1,10 +1,18 @@ interface jtag_vpi -# Set the VPI JTAG server address +# Set the VPI JTAG server port if { [info exists VPI_PORT] } { set _VPI_PORT $VPI_PORT } else { - set _VPI_PORT 50020 + set _VPI_PORT 5555 +} + +# Set the VPI JTAG server address +if { [info exists VPI_ADDRESS] } { + set _VPI_ADDRESS $VPI_ADDRESS +} else { + set _VPI_ADDRESS "127.0.0.1" } jtag_vpi_set_port $_VPI_PORT +jtag_vpi_set_address $_VPI_ADDRESS |