coverity: check out clean sources every time

Change-Id: I76782099e801ab89202c0103f97b7142b2c115fd
2 files changed
tree: ccde43e53cb7da5f278bd003a06073fb783a489a
  1. coverity/
  2. docker/
  3. scripts/
  4. .gitignore
  5. README.adoc