[SOLVED] Confused on building Espruino for ESP8266

Well, I changed the export line to:

export ESP8266_SDK_ROOT="${R}/esp-espressif-sdk­/ESP8266_NONOS_SDK_V1.5.3_16_04_18/ESP82­66_NONOS_SDK"

and the problem went away. Now we have a new problem of lwip:

ldcannot : findcannot -llwip_536 find
 -llwip_536