aboutsummaryrefslogtreecommitdiffstats
path: root/.gitmodules
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-04-25 15:26:28 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-04-25 15:26:28 +0200
commitaa26db13f4daedec371a17ee7f79ecce7f8fb60f (patch)
treee3f26cfc68b26bb3e03a363ebb95efd97d9b79e7 /.gitmodules
parent28db3119a6fef8a6ef487b414f7851a065db0889 (diff)
downloadcompcert-kvx-aa26db13f4daedec371a17ee7f79ecce7f8fb60f.tar.gz
compcert-kvx-aa26db13f4daedec371a17ee7f79ecce7f8fb60f.zip
MPPA - Added coverage test
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 00000000..955c7fc2
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "test/mppa/asm_coverage"]
+ path = test/mppa/asm_coverage
+ url = git@gricad-gitlab.univ-grenoble-alpes.fr:sixcy/asm-scanner.git