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>
This commit is contained in:
Franck Jullien
2013-12-29 16:18:51 +01:00
committed by Spencer Oliver
parent f4947e8b88
commit bc256b17d5
2 changed files with 39 additions and 5 deletions

View File

@@ -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