diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-07-08 14:32:12 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-08-03 00:04:06 +1000 |
| commit | 9a1b7d8448346b353e3aa7ae11ff2b441b6d5313 (patch) | |
| tree | 6ba773de5a5ad3f6f704fe5dffa034dd76e6407f /.gitmodules | |
| parent | 963e599ec0d253534eb835ade7020e8ac3d7919b (diff) | |
lib/micropython-lib: Add micropython-lib as a submodule.
Several boards now depend on libraries from micropython-lib. Rather than
expecting micropython-lib to be available as a sibling of the micropython
repo, instead make it a submodule.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 3d1e2fea7..3c47b5959 100644 --- a/.gitmodules +++ b/.gitmodules @@ -53,3 +53,6 @@ [submodule "lib/cyw43-driver"] path = lib/cyw43-driver url = https://github.com/georgerobotics/cyw43-driver.git +[submodule "lib/micropython-lib"] + path = lib/micropython-lib + url = https://github.com/micropython/micropython-lib.git |