From eff4bdb80f41c8ffdd1bb25a5a01a201d33c27f7 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 5 Jan 2015 11:36:29 +0100 Subject: [PATCH] more files to ignore --- .gitignore | 1 + bench/dtgbasat/.gitignore | 1 + src/kripketest/.gitignore | 1 + 3 files changed, 3 insertions(+) create mode 100644 bench/dtgbasat/.gitignore diff --git a/.gitignore b/.gitignore index e6eeb3eca..7618c7b03 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,7 @@ config.status aclocal.m4 autom4te.cache libtool +auto *.gz *.patch *.o diff --git a/bench/dtgbasat/.gitignore b/bench/dtgbasat/.gitignore new file mode 100644 index 000000000..732045750 --- /dev/null +++ b/bench/dtgbasat/.gitignore @@ -0,0 +1 @@ +stats.mk diff --git a/src/kripketest/.gitignore b/src/kripketest/.gitignore index bb3edc66b..2a1c12db2 100644 --- a/src/kripketest/.gitignore +++ b/src/kripketest/.gitignore @@ -1,3 +1,4 @@ Makefile Makefile.in defs +parse_print