mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 20:50:14 +01:00
Note this still needs some work: currently all source files are always preprocessed no matter which one actually changed, moreover that happens file by file without any parallellism so builds are painstakingly slow.