summaryrefslogtreecommitdiffstats
path: root/mashrepo
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2023-06-05 18:04:08 +0200
committerRemi Collet <remi@php.net>2023-06-05 18:04:08 +0200
commitebadd986039d29280d6509d910ca4c4c02a929ef (patch)
tree4ccd2120fb250696eaaf599914732f42847ee99c /mashrepo
parent5ef8cebf9ab2d29fdcfef10def3ccab7901cb840 (diff)
Wizard: 8.3 as SCL
Diffstat (limited to 'mashrepo')
-rwxr-xr-xmashrepo3
1 files changed, 3 insertions, 0 deletions
diff --git a/mashrepo b/mashrepo
index bdf6cc09..36c84c04 100755
--- a/mashrepo
+++ b/mashrepo
@@ -27,6 +27,9 @@ do
elif grep -q "^${name}\$" $mash
then
ln $rpm $copy && echo "+ $rpm"
+ elif [[ "^${name}" =~ "^php83-" ]]
+ then
+ ln $rpm $copy && echo "+ $rpm"
else
if [ $debug = 1 ]
then echo " $rpm (ignored)"