masrepo for 8.5

1 files changed, 3 insertions, 0 deletions

diff --git a/mashrepo b/mashrepo
index d537e521..61b3d80d 100755
--- a/mashrepo
+++ b/mashrepo
@@ -45,6 +45,9 @@ do
   elif [[ "^${name}" =~ "^php84" ]]
   then
     ln $rpm $copy && echo "+ $rpm"
+  elif [[ "^${name}" =~ "^php85" ]]
+  then
+    ln $rpm $copy && echo "+ $rpm"
   else
     if [ $debug = 1 ]
     then	echo "  $rpm (ignored)"