deepdive adopts folded submodules' .gitmodules

HazyResearch · Jan 24, 2017 · d8e7ea1 · d8e7ea1
1 parent 2edce54
commit d8e7ea1
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git 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
diff --git a/inference/dimmwitted/.gitmodules b/inference/dimmwitted/.gitmodules