diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:30:59 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:33:34 +0000 |
| commit | cbac5ebe589c404b8916f4a1074a345fc9b1446e (patch) | |
| tree | 425b191fd8dffe294e08fa14f870c7675fbbab64 /.gitignore | |
| parent | cd77831e0a02dd138459a26c108d9d4c402b1c2a (diff) | |
| download | klee-cbac5ebe589c404b8916f4a1074a345fc9b1446e.tar.gz | |
Ignore some autoconf generated files.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index d4840f64..a31ac159 100644 --- a/.gitignore +++ b/.gitignore @@ -19,3 +19,8 @@ site.exp # Site file for llvm-lit lit.site.cfg + +# Autoconf files +autoconf/aclocal.m4 +autoconf/autom4te.cache/ +autom4te.cache/ |