I'm experimenting adding DHCP option 160 to dhcpserver.c in the Arduino core for ESP8266 and therefor need to rebuild the relevant parts.
I made an initial guess that I might be able to make the change by installing using git according to the instructions in the readme and just restarting the IDE. I wasn't surprised to learn that this didn't help. The modifications to dhcpserver.c did not make it to the device following restart of the IDE and a new upload.
From another forum I saw a suggestion that the following commands could be used to rebuild from source:
$ cd esp8266/tools/sdk/lwip/src $ make install
Again the changes didn't make it to the device after restarting and uploading the sketch again.
Does anyone have any clearer instructions for how to build a new Arduino core for esp8266?