diff options
| author | Jesusalva Jesusalva <jesusalva@themanaworld.org> | 2024-02-08 23:45:52 +0000 |
|---|---|---|
| committer | Administrator <admin@themanaworld.org> | 2024-02-08 23:45:52 +0000 |
| commit | 12a287e0aa7901fb412e5b0a8c5a77c9d236eda9 (patch) | |
| tree | 198d8c462c24fcc6cdbad4d77c2507739db862f8 /.gitlab-ci.yml | |
| parent | 7a0c3cbf9143aaa9293c1048b15dc1cd63c2ce36 (diff) | |
| download | plus-12a287e0aa7901fb412e5b0a8c5a77c9d236eda9.tar.gz plus-12a287e0aa7901fb412e5b0a8c5a77c9d236eda9.tar.bz2 plus-12a287e0aa7901fb412e5b0a8c5a77c9d236eda9.tar.xz plus-12a287e0aa7901fb412e5b0a8c5a77c9d236eda9.zip | |
Be slightly more smart when running mplint
Reduce some overhead on the script for a 4% speedup
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 |