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