about summary refs log tree commit diff homepage
path: root/Dockerfile
diff options
context:
space:
mode:
authorTimotej Kapus <k.apus@hotmail.com>2015-06-16 18:14:58 +0100
committerTimotej Kapus <k.apus@hotmail.com>2015-06-16 18:14:58 +0100
commit7844d5f9b9057197b7392efca46ed79c82e66dc5 (patch)
tree24c2a575e3b7f9b4cba4a900eea20805ce6687c1 /Dockerfile
parentc6d650e995058b6a5b9579fdd417984a984bad23 (diff)
downloadklee-7844d5f9b9057197b7392efca46ed79c82e66dc5.tar.gz
added COVERAGE=0 to dockerfile, factored out coverage build flags to be only set when COVERAGE is, added the python server script to scripts
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
index 07f1bb48..d9fdd02d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,6 +11,7 @@ ENV LLVM_VERSION=3.4 \
     ENABLE_OPTIMIZED=1 \
     KLEE_UCLIBC=1 \
     KLEE_SRC=/home/klee/klee_src \
+    COVERAGE=0 \
     BUILD_DIR=/home/klee/klee_build
 
 RUN apt-get update && \