Add micropython-lib

this is needed during the unix coverage build
2023-09-22 10:28:22 -05:00 · 2023-09-22 10:28:22 -05:00 · 018baf75d5
commit 018baf75d5
parent 10b95a1998
2 changed files with 4 additions and 0 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -345,3 +345,6 @@
 	path = ports/raspberrypi/lib/Pico-PIO-USB
 	url = https://github.com/sekigon-gonnoc/Pico-PIO-USB.git
 	branch = main
+[submodule "lib/micropython-lib"]
+	path = lib/micropython-lib
+	url = https://github.com/micropython/micropython-lib.git
--- a/lib/micropython-lib
+++ b/lib/micropython-lib
@ -0,0 +1 @@
+Subproject commit e6b89eafa3b86d2e8e405450377d459600a30cd6
				`@ -0,0 +1 @@`
				`Subproject commit e6b89eafa3b86d2e8e405450377d459600a30cd6`