From 12a287e0aa7901fb412e5b0a8c5a77c9d236eda9 Mon Sep 17 00:00:00 2001
From: Jesusalva Jesusalva <jesusalva@themanaworld.org>
Date: Thu, 8 Feb 2024 23:45:52 +0000
Subject: Be slightly more smart when running mplint

Reduce some overhead on the script for a 4% speedup
---
 .gitlab-ci.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to '.gitlab-ci.yml')

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 
-- 
cgit v1.2.3-70-g09d2