From 0899260c83d012af0a50d4099abf039f53d61fbb Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Sun, 21 Sep 2014 10:57:04 +0200 Subject: Add .gitignore files. --- test/.gitignore | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 test/.gitignore (limited to 'test/.gitignore') diff --git a/test/.gitignore b/test/.gitignore new file mode 100644 index 00000000..09144e68 --- /dev/null +++ b/test/.gitignore @@ -0,0 +1,8 @@ +# CompCert-generated files +*.s +*.sdump +*.parsed.c +*.compcert.c +*.light.c +*.compcert +*.gcc -- cgit