Merge pull request #12622 from Rmys/master

libdrm rebuild
2023-10-22 12:58:10 +03:00
parent 2ee2c05ca7 1bd6e1c062
commit 5bb2dfce6d
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"