diff options
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index d42b09c8..11174e6c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,7 +16,8 @@ ENV LLVM_VERSION=3.4 \ BUILD_DIR=/home/klee/klee_build \ USE_CMAKE=1 \ ASAN_BUILD=0 \ - UBSAN_BUILD=0 + UBSAN_BUILD=0 \ + TRAVIS_OS_NAME=linux RUN apt-get update && \ apt-get -y --no-install-recommends install \ |