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 +---
 tools/ci/jobs/mplint.sh | 4 +++-
 2 files changed, 4 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..573cd1c85 100755
--- a/tools/ci/jobs/mplint.sh
+++ b/tools/ci/jobs/mplint.sh
@@ -25,7 +25,9 @@ run_configure_simple
 run_make
 cd ..
 echo " " >config.h
-run_mplint $*
+for task in "$@"; do
+    run_mplint $task
+done
 
 source ./tools/ci/scripts/exit.sh
 
-- 
cgit v1.2.3-60-g2f50