exclude hhvm-program as well

diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py
index 3633fca4990e91caaa8195ad30252c3678a1904e..dcfd8e72039cc81391ab9f715e6c3c7513f36c82 100644 (file)
--- a/PLD_Builder/request.py
+++ b/PLD_Builder/request.py
@@ -380,7 +380,7 @@ class Batch:
 
         # map them to poldek ignores
         # always ignore hhvm
-        res = ['hhvm']
+        res = ['hhvm-*']
         for v in map(php_ver_to_name, php_versions):
             res.append("php%s-*" % v)