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 /scripts | |
| 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 'scripts')
0 files changed, 0 insertions, 0 deletions