fix(common_def): use distclean in clean_build()
Just doing a "make clean" in the clean_build() function does not remove
all previous build artefacts, as the build/<platform> directory stays
around. This leads to build errors when files get added or removed
between builds because of changed build options.
Replace the "make clean" with "make distclean" to cover those cases,
also drop the not needed (and actually harmful) options to "make" on the
way.
Change-Id: Ie8fc2223606d2c74de4dbe3f7836a6d85206986d
Signed-off-by: Andre Przywara <andre.przywara@arm.com>
diff --git a/script/tf-coverity/common-def.sh b/script/tf-coverity/common-def.sh
index eca7080..ab226a5 100644
--- a/script/tf-coverity/common-def.sh
+++ b/script/tf-coverity/common-def.sh
@@ -15,7 +15,7 @@
local flags="$*"
echo "Building TF with the following build flags:"
echo " $flags"
- make $flags clean
+ make distclean
make $flags all
echo "Build config complete."
echo