openocd/tcl/interface/jtag_vpi.cfg
Franck Jullien bc256b17d5 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>
2013-12-31 12:00:49 +00:00

19 lines
354 B
INI

interface jtag_vpi
# Set the VPI JTAG server port
if { [info exists VPI_PORT] } {
set _VPI_PORT $VPI_PORT
} else {
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