diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 18:16:42 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 18:16:42 +0100 |
| commit | f3694c4ebb7155ef11730e757452498226caf423 (patch) | |
| tree | 4db7fa3bad9a3154b833c3e3879b6958ec9429e1 /test/abi/.gitignore | |
| parent | 478ece46d8323ea182ded96a531309becf7445bb (diff) | |
| download | compcert-kvx-f3694c4ebb7155ef11730e757452498226caf423.tar.gz compcert-kvx-f3694c4ebb7155ef11730e757452498226caf423.zip | |
Testing calling conventions and interoperability with another C compiler
Using a combination of fixed and randomly-generated function signatures.
Diffstat (limited to 'test/abi/.gitignore')
| -rw-r--r-- | test/abi/.gitignore | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/abi/.gitignore b/test/abi/.gitignore new file mode 100644 index 00000000..c115947e --- /dev/null +++ b/test/abi/.gitignore @@ -0,0 +1,8 @@ +*.exe +*.c +*.h +*.compcert +*.cc2compcert +*.compcert2cc +*.light.c +*.s |