'local-ip' option doesn't do anything (Arty A7-100T)

[ryanhaus]

Hi,

I'm trying to use the local-ip option to change the local IP of the SoC in the BIOS, like so:
$ ./make.py --board=arty --variant=a7-100 --local-ip=10.138.242.37 --remote-ip=10.138.242.38 --build

However, when I boot it up, I noticed that the local IP was still set to the default value of 192.168.1.50, preventing it from receiving any packets from my TFTP server:

litex> netboot

Booting from network...
Local IP: 192.168.1.50
Remote IP: 10.138.242.38
Booting from boot.json...
Booting from boot.bin...
Copying boot.bin to 0x40000000...
Network boot failed.

Please let me know if there's some other option I'm missing that's preventing this from being updated.

Build log: log.txt

[ryanhaus]

See #425