From 8170a138872c0cda2dfdd629954a7b499e5acb2e Mon Sep 17 00:00:00 2001 From: Nedko Arnaudov Date: Sat, 29 Jul 2023 14:16:18 +0300 Subject: [PATCH] Add LADI/jack-tools as tools/ submodule (JACK2) --- .gitmodules | 3 +++ tools | 1 + 2 files changed, 4 insertions(+) create mode 160000 tools diff --git a/.gitmodules b/.gitmodules index 8d084c44..ab496093 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "waf-toolchain-flags"] path = waftoolchainflags url = ../waf-toolchain-flags +[submodule "jack-tools"] + path = tools + url = ../jack-tools diff --git a/tools b/tools new file mode 160000 index 00000000..321e8a74 --- /dev/null +++ b/tools @@ -0,0 +1 @@ +Subproject commit 321e8a747a80fd00f97a6a4aff62036ea2d46483