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 | |
| 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`
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 09596e40..d65d2477 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,6 +32,7 @@ env: - COVERAGE=0 - DISABLE_ASSERTIONS=0 + - ENABLE_DOXYGEN=0 - ENABLE_OPTIMIZED=1 - ENABLE_DEBUG=1 - GTEST_VERSION=1.7.0 @@ -130,7 +131,6 @@ jobs: - name: "Docker" env: BUILD_DOCKER=1 - # TODO: Add Doxygen build addons: apt: packages: |