diff options
| author | Damien George <damien@micropython.org> | 2025-03-11 14:52:15 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-03-27 17:10:00 +1100 |
| commit | 2db0c0225f41292f85b2cf49257d663856d5c8db (patch) | |
| tree | e16d6452112305734f0c15ce3fb8841ccb0e9e67 /py | |
| parent | e4051a1ca66703090383678a1747c3f99e993309 (diff) | |
tools/mpremote: Make mip install skip /rom*/lib directories.
If a ROMFS is mounted then "/rom/lib" is usually in `sys.path` before the
writable filesystem's "lib" entry. The ROMFS directory cannot be installed
to, so skip it if found.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'py')
0 files changed, 0 insertions, 0 deletions