diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 14:50:09 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 14:50:54 +0200 |
commit | 4b45c51d3d9a19abcc54273cc5cfa51b70352a49 (patch) | |
tree | e1b6085229c767f896404f0a6a2de0ef99f22c17 /.gitignore | |
parent | 25f4ccd631cafe403daf60f886e98ae9c7c44e03 (diff) | |
download | compcert-kvx-4b45c51d3d9a19abcc54273cc5cfa51b70352a49.tar.gz compcert-kvx-4b45c51d3d9a19abcc54273cc5cfa51b70352a49.zip |
More .gitignore for a clean git status
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |