"make clean" before "make" to try to avoid some segfaults

1 files changed, 2 insertions, 0 deletions

diff --git a/cppcheck/cppcheck-report.sh b/cppcheck/cppcheck-report.sh
index fa03d8f..31f8360 100755
--- a/cppcheck/cppcheck-report.sh
+++ b/cppcheck/cppcheck-report.sh
@@ -75,6 +75,8 @@ get_lo_src()
 build_cppcheck()
 {
     pushd "${CPPCHECK_DIR?}" > /dev/null || die "Failed to change directory to ${CPPCHECK_DIR?}"
+    # cppcheck is quite small so it can be built from scratch to avoid some pb
+    make clean
     make all || die "Failed to build cppcheck."
     popd > /dev/null || die "Failed to change directory out of ${CPPCHECK_DIR?}"
 }