On Wed, Apr 22 2020, Stuart Henderson <s...@spacehopper.org> wrote: > On 2020/04/22 10:28, Tracey Emery wrote: >> Again, in the spirit of following suit with arduino-esp8266, here is a >> greatly cleaned up version. >> >> Tested again out to hardware with no problems. >> >> Ok? > > I am ok with the latest versions of this suite of ports.
Also ok jca@ for arduino-esp32 Since NO_BUILD=Yes isn't used, setting MODPY_BUILDDEP=Yes isn't necessary any more, but that can be addressed in tree. Also the comment in patch-platform_txt still references sed. > Not sure what anyone else thinks but as they don't risk other parts of the > ports tree, and make xtensa-esp32-elf and xtensa-lx106-elf significantly > more useful, I wouldn't object to them going in before 6.7 .. My thoughts exactly. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
