From d189454ce36a6cc5d003284c0e10c50b1e28d5e3 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Fri, 3 Jul 2026 11:43:16 +0200 Subject: + php86 case --- mashrepo | 3 +++ 1 file changed, 3 insertions(+) (limited to 'mashrepo') diff --git a/mashrepo b/mashrepo index d3aeccd8..6e55a850 100755 --- a/mashrepo +++ b/mashrepo @@ -47,6 +47,9 @@ do then ln $rpm $copy && echo "+ $rpm" elif [[ "^${name}" =~ "^php85" ]] + then + ln $rpm $copy && echo "+ $rpm" + elif [[ "^${name}" =~ "^php86" ]] then ln $rpm $copy && echo "+ $rpm" else -- cgit