when working on laptop programs, i often run make in a while loop in one window while editing code in another to more quickly deal with (linkage) errors.
building esp32 code in the Arduino IDE seems to take longer than necessary when just one file was modified. presumably all the .os and other libraries are available under arduino_build/.
i've looked at the compile out and got much of it (?) to work but wondering what it would take to go all the way, possibly using avrdude (?) to download
curious if the Arduino IDE creates (how?) a makefile. wondering if there are other IDEs or approaches that could be used?