From d8e7ea1cd868f72ee7339abb6ec93675be32080b Mon Sep 17 00:00:00 2001 From: Jaeho Shin Date: Mon, 23 Jan 2017 16:02:47 -0800 Subject: [PATCH] deepdive adopts folded submodules' .gitmodules --- .gitmodules | 6 ++++++ compiler/ddlog/.gitmodules | 3 --- inference/dimmwitted/.gitmodules | 3 --- 3 files changed, 6 insertions(+), 6 deletions(-) delete mode 100644 compiler/ddlog/.gitmodules delete mode 100644 inference/dimmwitted/.gitmodules diff --git a/.gitmodules b/.gitmodules index ab65b0b25..3bf722ba6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,6 +4,12 @@ [submodule "test/bats"] path = test/bats url = https://github.com/sstephenson/bats.git +[submodule "inference/dimmwitted/test/bats"] + path = inference/dimmwitted/test/bats + url = https://github.com/sstephenson/bats.git +[submodule "compiler/ddlog/test/bats"] + path = compiler/ddlog/test/bats + url = https://github.com/sstephenson/bats.git [submodule "extern/buildkit"] path = extern/buildkit url = https://github.com/netj/buildkit.git diff --git a/compiler/ddlog/.gitmodules b/compiler/ddlog/.gitmodules deleted file mode 100644 index db077d414..000000000 --- a/compiler/ddlog/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "test/bats"] - path = test/bats - url = https://github.com/sstephenson/bats.git diff --git a/inference/dimmwitted/.gitmodules b/inference/dimmwitted/.gitmodules deleted file mode 100644 index 7b3723e00..000000000 --- a/inference/dimmwitted/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "test/bats"] - path = test/bats - url = https://github.com/sstephenson/bats