From 6ab013c425e9ca32c9b36cc8fe72adc9d8e50cde Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sun, 13 Dec 2015 20:32:25 +0000
Subject: Ignore some generated files that will be visible if doing an in
 source build. Spotted by @domainexpert

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitignore')

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
-- 
cgit 1.4.1