diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 14:24:08 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 14:30:06 +0100 |
| commit | 58c5132f82112d2ceef3b676e0bd04f04c940b69 (patch) | |
| tree | 667f4dc114004ea7a14e0f188f6b02f960d8850c /Dockerfile | |
| parent | 0eb13665f0b0fb7d6a3d3015d1a1413236966339 (diff) | |
| download | klee-58c5132f82112d2ceef3b676e0bd04f04c940b69.tar.gz | |
[Docker] Unbreak build.
The recent landing of macOS support in TravisCI (3a8bc6a43073b98b58c8cf0c20a930cb2c953b5d) broke the Docker build due to the `TRAVIS_OS_NAME` environment variable not being set by the Docker build. Do the simplest fix for now which is to define the variable. This isn't the cleanest fix but it will do for now.
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 \ |