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 /lib/Solver/IncompleteSolver.cpp | |
| 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 'lib/Solver/IncompleteSolver.cpp')
0 files changed, 0 insertions, 0 deletions