about summary refs log tree commit diff homepage
path: root/Dockerfile
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-01-14 16:10:53 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2016-01-14 16:10:53 +0000
commit2a0eca57580e50812b17d8b39ad5c3266511fecc (patch)
tree1adfb7dac6c5e7874c7855c29106b224aa0c7fa4 /Dockerfile
parentc675254acb9f688d761dd7266738e7adacac97e7 (diff)
downloadklee-2a0eca57580e50812b17d8b39ad5c3266511fecc.tar.gz
Try to unbreak the Docker build broken by
cece05cadf6a624afd188e81720ae7701736a703
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
index b6aab804..a61f8353 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -58,6 +58,7 @@ ADD configure \
     Makefile \
     Makefile.* \
     README.md \
+    MetaSMT.mk \
     TODO.txt \
     ${KLEE_SRC}/
 ADD .travis ${KLEE_SRC}/.travis/