diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:32:25 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:33:34 +0000 |
| commit | 6ab013c425e9ca32c9b36cc8fe72adc9d8e50cde (patch) | |
| tree | 30129f651bc62a6fbd14b9420ec0e29cacc4eccd /.gitignore | |
| parent | cbac5ebe589c404b8916f4a1074a345fc9b1446e (diff) | |
| download | klee-6ab013c425e9ca32c9b36cc8fe72adc9d8e50cde.tar.gz | |
Ignore some generated files that will be visible if doing an in source
build. Spotted by @domainexpert
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index a31ac159..60f71858 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,9 @@ cscope.* *.out *.status +# In source build files +docs/doxygen.cfg +include/klee/Config/CompileTimeInfo.h *.config config.h |