diff options
author | Remi Collet <remi@remirepo.net> | 2023-06-05 18:04:08 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2023-06-05 18:04:08 +0200 |
commit | ebadd986039d29280d6509d910ca4c4c02a929ef (patch) | |
tree | 4ccd2120fb250696eaaf599914732f42847ee99c /mashrepo | |
parent | 5ef8cebf9ab2d29fdcfef10def3ccab7901cb840 (diff) |
Wizard: 8.3 as SCL
Diffstat (limited to 'mashrepo')
-rwxr-xr-x | mashrepo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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)" |