aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-08-28 10:45:49 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-08-28 10:45:49 +0200
commitd9f2d0e8a6420f4f1da8c693960a55c38747d6eb (patch)
treec6c2ba588917017e2188345ba7702322bc352d61
parentce33586e40bf7be637b932d363275b9d5761a3a0 (diff)
downloadcompcert-kvx-d9f2d0e8a6420f4f1da8c693960a55c38747d6eb.tar.gz
compcert-kvx-d9f2d0e8a6420f4f1da8c693960a55c38747d6eb.zip
Removing submodule test/mppa/asm_coverage from the repository
-rw-r--r--.gitmodules3
m---------test/mppa/asm_coverage0
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules
index 955c7fc2..e69de29b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "test/mppa/asm_coverage"]
- path = test/mppa/asm_coverage
- url = git@gricad-gitlab.univ-grenoble-alpes.fr:sixcy/asm-scanner.git
diff --git a/test/mppa/asm_coverage b/test/mppa/asm_coverage
deleted file mode 160000
-Subproject a9c62b61552a9e9fd0ebf43df5ee0d5b88bb094