diff options
| -rw-r--r-- | .gitlab-ci.yml | 4 | ||||
| -rwxr-xr-x | tools/ci/jobs/mplint.sh | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 544257b6c..029fd0c84 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -325,9 +325,7 @@ gcc-8_unittestsbin: mplint: stage: lint script: - - ./tools/ci/jobs/mplint.sh src - - ./tools/ci/jobs/mplint.sh po - - ./tools/ci/jobs/mplint.sh data + - ./tools/ci/jobs/mplint.sh src po data <<: *job-push variables: PACKAGES: gcc g++ git diff --git a/tools/ci/jobs/mplint.sh b/tools/ci/jobs/mplint.sh index d3508759f..c1e817479 100755 --- a/tools/ci/jobs/mplint.sh +++ b/tools/ci/jobs/mplint.sh @@ -25,7 +25,11 @@ run_configure_simple run_make cd .. echo " " >config.h -run_mplint $* +tasks=$(echo $* | tr " " "\n") +for task in $tasks +do + run_mplint $task +done source ./tools/ci/scripts/exit.sh |