From 4ea6ee4d6a2c2fe8170dae086cf4c80590ccc5c4 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 16 Dec 2019 17:03:29 +0000
Subject: Reorganise Dockerfile to have KLEE user own the build directory

---
 .dockerignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.dockerignore')

diff --git a/.dockerignore b/.dockerignore
index 11d13733..b90cbfa2 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -2,3 +2,4 @@
 autom4te.cache
 **/.*.swp
 Dockerfile
+cmake-*/
-- 
cgit 1.4.1