aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-04-10 09:56:52 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-04-10 09:56:52 +0200
commit38b906f983a685af967b51bae2f8038c47d87b91 (patch)
treecb5109fdc31d9c13f0942587ce4dae7bb81cd0f2 /.gitignore
parent1fecf8b3d07c09abd07aca2c20261e9d352e9527 (diff)
downloadcompcert-kvx-38b906f983a685af967b51bae2f8038c47d87b91.tar.gz
compcert-kvx-38b906f983a685af967b51bae2f8038c47d87b91.zip
MPPA - fixed wrong extension in test files
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index b782e849..5358ee05 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,6 @@
# Object files, in general
+**.bin
+**.out
*.vo
*.glob
*.o