aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/.gitignore
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-11-14 11:49:34 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-11-14 11:49:34 +0100
commita220a09ae6ce52400a563ea6ee65aa36b2ea9dfb (patch)
tree680798b800e104d0e766a3ab7a0f39469b2671fa /test/mppa/.gitignore
parent0b86431038c1e874d7d7030ab41a8f56b0a9991f (diff)
parent154230f3d9cad4f8de59e8fcaa9d0fe4ae151a98 (diff)
downloadcompcert-kvx-a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb.tar.gz
compcert-kvx-a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb.zip
Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c
Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmexpand.ml mppa_k1c/TargetPrinter.ml test/mppa/Makefile test/mppa/builtins/clzll.c test/mppa/generate.sh
Diffstat (limited to 'test/mppa/.gitignore')
-rw-r--r--test/mppa/.gitignore19
1 files changed, 19 insertions, 0 deletions
diff --git a/test/mppa/.gitignore b/test/mppa/.gitignore
index f03fc12c..e8ebeff8 100644
--- a/test/mppa/.gitignore
+++ b/test/mppa/.gitignore
@@ -1 +1,20 @@
check
+asm_coverage
+instr/Makefile
+mmult/Makefile
+prng/Makefile
+sort/Makefile
+prng/.zero
+sort/.zero
+sort/insertion-ccomp-k1c
+sort/insertion-gcc-k1c
+sort/insertion-gcc-x86
+sort/main-ccomp-k1c
+sort/main-gcc-k1c
+sort/main-gcc-x86
+sort/merge-ccomp-k1c
+sort/merge-gcc-k1c
+sort/merge-gcc-x86
+sort/selection-ccomp-k1c
+sort/selection-gcc-k1c
+sort/selection-gcc-x86