If it always resets to 9600 baud that would definitely be something I would not like at all and that would cause me to make my separate builds. Aside from being totally inconvenient (everything esp8266 is 115200 baud for me) it would totally suck when the device resets and then I can't see what it prints out because it comes out at 9600 baud and not the 115200 that my serial port would be set to.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
If it always resets to 9600 baud that would definitely be something I would not like at all and that would cause me to make my separate builds. Aside from being totally inconvenient (everything esp8266 is 115200 baud for me) it would totally suck when the device resets and then I can't see what it prints out because it comes out at 9600 baud and not the 115200 that my serial port would be set to.