+ php86 caseHEADmaster

1 files changed, 3 insertions, 0 deletions

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