diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 14:49:16 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 14:49:16 +0100 |
| commit | 31d7fa412c673d2e2b0f9fe2abf32afa1b105d5e (patch) | |
| tree | 769509fcc09120092d307c26ba92b07228ea3118 /lib/Module | |
| parent | 58c5132f82112d2ceef3b676e0bd04f04c940b69 (diff) | |
| download | klee-31d7fa412c673d2e2b0f9fe2abf32afa1b105d5e.tar.gz | |
[TravisCI] Make handling of `TRAVIS_OS_NAME` more robust by not assuming
that its value not being `linux` implies `osx`.
Diffstat (limited to 'lib/Module')
0 files changed, 0 insertions, 0 deletions