diff options
| author | jiseongg <jiseongg301@gmail.com> | 2020-10-09 17:40:12 +0900 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-10-12 10:46:19 +0100 |
| commit | d920e049fa955877f772188fdc58cab1b31aabc9 (patch) | |
| tree | 14074e798c987d1a83bbf6806ca6dc9bc918f96a /runtime | |
| parent | 51940e20c7b1a1651e247726a80c4ac643fd322b (diff) | |
| download | klee-d920e049fa955877f772188fdc58cab1b31aabc9.tar.gz | |
Add `ENABLE_DOXYGEN=0` to default config in .travis.yml
Since `ENABLE_DOXYGEN=1` is deafult in Dockerfile, it'll be tested in the job `Docker`
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions