From f3694c4ebb7155ef11730e757452498226caf423 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 18 Jan 2021 18:16:42 +0100 Subject: Testing calling conventions and interoperability with another C compiler Using a combination of fixed and randomly-generated function signatures. --- test/abi/.gitignore | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 test/abi/.gitignore (limited to 'test/abi/.gitignore') 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 -- cgit