diff options
| author | rofl0r <rofl0r@users.noreply.github.com> | 2020-08-11 15:49:18 +0100 |
|---|---|---|
| committer | rofl0r <rofl0r@users.noreply.github.com> | 2020-08-11 15:51:15 +0100 |
| commit | d9953d795dd1b66a583303dff3b11c1b3f24ba09 (patch) | |
| tree | ac4f2b6b22922a05c77edd91565104c54d5836e7 /.travis.yml | |
| parent | c2d4114427421864f9152856c6e2b4b9ff6d83dd (diff) | |
travis: run make clean before second compile
otherwise object files will not be rebuilt with the new configure options.
this will prevent cases like db4bd162a3472205fb847a52948c1133e65bd9ce
where it turned out there was a build error with --enable-debug since several
git revisions.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index c38a1d2..ab26ad1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,6 +11,7 @@ script: - ./configure - make - make test +- make clean - ./configure --enable-debug --enable-transparent --enable-reverse - make - make test |