diff options
author | Matias Elo <matias.elo@nokia.com> | 2020-11-23 08:24:45 +0200 |
---|---|---|
committer | Matias Elo <matias.elo@nokia.com> | 2020-11-24 08:34:06 +0200 |
commit | 944a9fed0876b10bc8b44a9fda6439747af34f28 (patch) | |
tree | 0d2682d666b8fdaa68ff0c00c29c79e64587feec /scripts/ci | |
parent | d67b6e2f44adb41f36522792688c0414f64cef96 (diff) |
ci: add make clean step to build script
Add 'make clean' step to fix CI builds where the same source directory is
used multiple times with varying configuration options.
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Petri Savolainen <petri.savolainen@nokia.com>
Diffstat (limited to 'scripts/ci')
-rwxr-xr-x | scripts/ci/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/ci/build.sh b/scripts/ci/build.sh index 21922a493..12f2c7d64 100755 --- a/scripts/ci/build.sh +++ b/scripts/ci/build.sh @@ -9,6 +9,8 @@ cd "$(dirname "$0")"/../.. --prefix=/opt/odp \ ${CONF} +make clean + make -j $(nproc) make install |