diff options
Diffstat (limited to 'test/abi/.gitignore')
| -rw-r--r-- | test/abi/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/abi/.gitignore b/test/abi/.gitignore index c115947e..5aa03c7c 100644 --- a/test/abi/.gitignore +++ b/test/abi/.gitignore @@ -2,7 +2,10 @@ *.c *.h *.compcert +*.cc *.cc2compcert *.compcert2cc *.light.c *.s +!layout.c +!staticlayout.c |