diff options
| author | Timotej Kapus <k.apus@hotmail.com> | 2015-06-16 18:14:58 +0100 |
|---|---|---|
| committer | Timotej Kapus <k.apus@hotmail.com> | 2015-06-16 18:14:58 +0100 |
| commit | 7844d5f9b9057197b7392efca46ed79c82e66dc5 (patch) | |
| tree | 24c2a575e3b7f9b4cba4a900eea20805ce6687c1 /Dockerfile | |
| parent | c6d650e995058b6a5b9579fdd417984a984bad23 (diff) | |
| download | klee-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-- | Dockerfile | 1 |
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 && \ |