diff options
author | Jesusaves <cpntb1@ymail.com> | 2023-06-25 16:47:29 -0300 |
---|---|---|
committer | Jesusaves <cpntb1@ymail.com> | 2023-06-25 16:47:29 -0300 |
commit | dc30332cf167feafe7b123e2b75d57e03a68e50d (patch) | |
tree | ceff8f79eeed205cdaa0ef8bf3ac407f57ddd2aa /.gitlab-ci.yml | |
parent | c5bc7240438be03fd0181be39a635cc06557324f (diff) | |
download | plus-jesusalva/mplint.tar.gz plus-jesusalva/mplint.tar.bz2 plus-jesusalva/mplint.tar.xz plus-jesusalva/mplint.zip |
Be slightly more smart when running mplintjesusalva/mplint
Inspired by https://stackoverflow.com/questions/918886/how-do-i-split-a-string-on-a-delimiter-in-bash
why tf were we recompiling mplint three times, anyway.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 1 insertions, 3 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 |