tools/manifestfile.py: Change library search to use a list of paths.#13620

dpgeorge merged 2 commits intomicropython:mastermicropython/micropython:masterfrom

dpgeorge:tools-manifestfile-change-unix-ffi-to-custom-librarydpgeorge/micropython:tools-manifestfile-change-unix-ffi-to-custom-libraryCopy head branch name to clipboard