I read in this thread that updating the precompiled ESP8266-Arduino installation is as easy as cloning the github repo and then replacing the hardware/esp8266com directory in the installation with the one from the repo.
I've done that a few times over the last few days, but I never got a working installation afterwards. Now I get
"'SC_STATUS_LINK_OVER' was not declared in this scope"
when trying to upload the HelloServer example sketch. I also tried building it using the build instructions from the readme, and this build version runs and seems to flash properly. However, when uploading sketches using the ESP8266 specific libraries, they will seem to flash properly, but then do not run on the module after having been flashed.
Any ideas? Thanks already for any hint!