libdrm rebuild

2023-10-22 12:57:14 +03:00
parent adf22cb88a
commit 1bd6e1c062
1 changed files with 2 additions and 1 deletions
@@ -11,12 +11,13 @@ from pisi.actionsapi import shelltools

 def setup():
    if not get.buildTYPE() == "emul32":
-        options = "-Dudev=true \
+        options = "-Dudev=true -Dintel=enabled \
                  "
    
    if get.buildTYPE() == "emul32":
        options = " --libdir=lib32 \
                    -Dudev=false \
+                    -Dintel=enabled \
                    -Dvalgrind=disabled"