From 7844d5f9b9057197b7392efca46ed79c82e66dc5 Mon Sep 17 00:00:00 2001
From: Timotej Kapus <k.apus@hotmail.com>
Date: Tue, 16 Jun 2015 18:14:58 +0100
Subject: added COVERAGE=0 to dockerfile, factored out coverage build flags to
 be only set when COVERAGE is, added the python server script to scripts

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Dockerfile')

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