From 24458e96c0181f4f64f70da763315d4f07835bcd Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 8 Jul 2017 02:25:20 +0300
Subject: Add make clean before building ci jobs.

---
 tools/ci/scripts/init.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 9969a82ec..0ef5c219e 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -188,7 +188,8 @@ function run_make {
         export JOBS=2
         echo "No JOBS defined"
     fi
-
+    echo make clean
+    make clean || true
     echo "make -j${JOBS} V=0 $*"
     make -j${JOBS} V=0 $* 2>$ERRFILE
     check_error $?
@@ -200,6 +201,8 @@ function run_make_check {
         export JOBS=2
         echo "No JOBS defined"
     fi
+    echo make clean
+    make clean || true
     echo "make -j${JOBS} V=0 check $*"
     make -j${JOBS} V=0 check $* 2>$ERRFILE
     export ERR=$?
-- 
cgit v1.2.3-60-g2f50