diff --git a/.gitmodules b/.gitmodules index 5ead9be1..592920a2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -39,3 +39,9 @@ [submodule "pupy/pupy/external/BeRoot"] path = pupy/external/BeRoot url = https://github.com/AlessandroZ/BeRoot +[submodule "client/toolchain/docker-old-tc-bootstrap"] + path = client/toolchain/docker-old-tc-bootstrap + url = https://github.com/alxchk/docker-old-tc-bootstrap +[submodule "client/toolchain/docker-old-tc"] + path = client/toolchain/docker-old-tc + url = https://github.com/alxchk/docker-old-tc diff --git a/client/toolchain/docker-old-tc b/client/toolchain/docker-old-tc new file mode 160000 index 00000000..218abc23 --- /dev/null +++ b/client/toolchain/docker-old-tc @@ -0,0 +1 @@ +Subproject commit 218abc23b1231bba33fe272ffc1e5dbc5317078f diff --git a/client/toolchain/docker-old-tc-bootstrap b/client/toolchain/docker-old-tc-bootstrap new file mode 160000 index 00000000..1db3f806 --- /dev/null +++ b/client/toolchain/docker-old-tc-bootstrap @@ -0,0 +1 @@ +Subproject commit 1db3f806509bed7d1132831d970d772053f37b8a