diff --git a/.gitmodules b/.gitmodules index 9d14648..0db2297 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,6 +4,6 @@ [submodule "wamr"] path = wamr url = ssh://git@gitea.local.chriphost.de:222/christoph/wamr.git -[submodule "targets/tacle"] - path = targets/tacle +[submodule "tacle-converter"] + path = tacle-converter url = https://gitos.rrze.fau.de/i4/openaccess/tacle-bench-wasm-converter diff --git a/targets/tacle b/tacle-converter similarity index 100% rename from targets/tacle rename to tacle-converter