diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 09:56:52 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 09:56:52 +0200 |
commit | 38b906f983a685af967b51bae2f8038c47d87b91 (patch) | |
tree | cb5109fdc31d9c13f0942587ce4dae7bb81cd0f2 /.gitignore | |
parent | 1fecf8b3d07c09abd07aca2c20261e9d352e9527 (diff) | |
download | compcert-kvx-38b906f983a685af967b51bae2f8038c47d87b91.tar.gz compcert-kvx-38b906f983a685af967b51bae2f8038c47d87b91.zip |
MPPA - fixed wrong extension in test files
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,4 +1,6 @@ # Object files, in general +**.bin +**.out *.vo *.glob *.o |