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
---
 tools/ci/jobs/mplint.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tools')

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