aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-11-20 11:04:07 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-11-20 11:04:07 +0100
commit65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5 (patch)
treee2af9dd819aff07144250e1789d88e328f000136 /.gitignore
parentf5074503d24b0974d880a402f1ecef6e7812c70e (diff)
downloadcompcert-kvx-65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5.tar.gz
compcert-kvx-65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5.zip
Fixed MPPA runtimes not compiling
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index eeec81f8..c0cd712f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -70,3 +70,8 @@
/doc/html/
# MacOS metadata
.DS_Store
+runtime/mppa_k1c/i64_sdiv.s
+runtime/mppa_k1c/i64_smod.s
+runtime/mppa_k1c/i64_udiv.s
+runtime/mppa_k1c/i64_udivmod.s
+runtime/mppa_k1c/i64_umod.s