Update coverity

This commit is contained in:
Andrea Mazzoleni 2021-05-24 19:43:27 +02:00
parent 7654ed45f1
commit 77005ff2db

View file

@ -14,7 +14,7 @@ if ! ./configure ; then
exit 1
fi
export PATH=$PATH:contrib/cov-analysis-linux64-2017.07/bin
export PATH=$PATH:contrib/cov-analysis-linux64-2020.09/bin
if ! cov-build --dir cov-int make; then
exit 1