diff options
author | Remi Collet <remi@remirepo.net> | 2024-07-04 08:49:43 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2024-07-04 08:49:43 +0200 |
commit | cb2fb2ba67eaa4a47c60ef35b4af48fb1c3038e4 (patch) | |
tree | 12609eebb7c06e8304de0b6f53f032a557b0d53b /mashrepo | |
parent | 1eba4b2e09d3db48cd87f9cba24120b23c7d2b19 (diff) |
Wizard: add 8.4
Diffstat (limited to 'mashrepo')
-rwxr-xr-x | mashrepo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -42,6 +42,9 @@ do elif [[ "^${name}" =~ "^php83" ]] then ln $rpm $copy && echo "+ $rpm" + elif [[ "^${name}" =~ "^php84" ]] + then + ln $rpm $copy && echo "+ $rpm" else if [ $debug = 1 ] then echo " $rpm (ignored)" |