mirror of
https://github.com/micropython/micropython.git
synced 2026-01-04 11:10:14 +01:00
e0f5df579b
Generally, ports should inherit INC from py.mk, append to it, not overwrite it. TODO: Likely should do the same for other vars too.