looking for hints on building esp32 outside of IDE faster

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?

Have you tried Linux, it is much faster than windows on my machine. You can download it and give it a try. It will run from a thumb drive or even a USB drive.