aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-06-19 14:50:09 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-06-19 14:50:54 +0200
commit4b45c51d3d9a19abcc54273cc5cfa51b70352a49 (patch)
treee1b6085229c767f896404f0a6a2de0ef99f22c17
parent25f4ccd631cafe403daf60f886e98ae9c7c44e03 (diff)
downloadcompcert-kvx-4b45c51d3d9a19abcc54273cc5cfa51b70352a49.tar.gz
compcert-kvx-4b45c51d3d9a19abcc54273cc5cfa51b70352a49.zip
More .gitignore for a clean git status
-rw-r--r--.gitignore3
-rw-r--r--test/monniaux/.gitignore23
2 files changed, 26 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index bc1fd91b..302382b8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -45,6 +45,9 @@
/riscV/ConstpropOp.v
/riscV/SelectOp.v
/riscV/SelectLong.v
+/mppa_k1c/ConstpropOp.v
+/mppa_k1c/SelectOp.v
+/mppa_k1c/SelectLong.v
/backend/SelectDiv.v
/backend/SplitLong.v
/cparser/Parser.v
diff --git a/test/monniaux/.gitignore b/test/monniaux/.gitignore
new file mode 100644
index 00000000..12b3c9db
--- /dev/null
+++ b/test/monniaux/.gitignore
@@ -0,0 +1,23 @@
+**.host
+**.k1c
+binary_search/Makefile
+bitsliced-aes/Makefile
+bitsliced-tea/Makefile
+complex/Makefile
+float_mat/Makefile
+glibc_qsort/Makefile
+heapsort/Makefile
+heptagon_radio_transmitter/Makefile
+idea/Makefile
+lustrev4_lustrec_heater_control/Makefile
+lustrev4_lv4_heater_control/Makefile
+lustrev4_lv6-en-2cgc_heater_control/Makefile
+lustrev6-convertible-en-2cgc/Makefile
+mbedtls/mbedtls/
+number_theoretic_transform/Makefile
+quicksort/Makefile
+sha-2/Makefile
+tacle-bench-lift/Makefile
+tacle-bench-powerwindow/Makefile
+too_slow/Makefile
+xor_and_mat/Makefile