diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-07-08 02:25:20 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-07-08 02:25:20 +0300 |
| commit | 24458e96c0181f4f64f70da763315d4f07835bcd (patch) | |
| tree | b22bc5a225eadc83ee81598012f528d01172a9dc /tools | |
| parent | 814aa2e53fccc262595ac045533f535eeff85ae7 (diff) | |
| download | plus-24458e96c0181f4f64f70da763315d4f07835bcd.tar.gz plus-24458e96c0181f4f64f70da763315d4f07835bcd.tar.bz2 plus-24458e96c0181f4f64f70da763315d4f07835bcd.tar.xz plus-24458e96c0181f4f64f70da763315d4f07835bcd.zip | |
Add make clean before building ci jobs.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 5 |
1 files changed, 4 insertions, 1 deletions
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=$? |