diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..d26deda5b --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "tools/llvmta"] + path = tools/llvmta + url = ssh://git@git.cs.tu-dortmund.de:2222/nils.hoelscher/llvmta.git diff --git a/tools/llvmta b/tools/llvmta new file mode 160000 index 000000000..01fb50a38 --- /dev/null +++ b/tools/llvmta @@ -0,0 +1 @@ +Subproject commit 01fb50a386b94ded5fc768bfaba06c524afd5c1e