[gnome-continuous] Update config-opts for drm

[Emmanuele Bassi <ebassi src gnome org>]

commit f9109633ea262e0a11e91b757dd5255de87497fc
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Sat Jan 13 13:36:38 2018 +0000

    Update config-opts for drm
    
    Upstream has a Meson buid system, now.

 manifest.json |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 9044fe9..347ca36 100644
--- a/manifest.json
+++ b/manifest.json
@@ -373,7 +373,8 @@
                {"src": "fd:xorg/lib/libpciaccess"},
 
                {"src": "fd-mesa:drm",
-                "config-opts": ["--disable-valgrind"]},
+                "config-opts": ["-Dvalgrind=false",
+                                 "-Dman-pages=false"]},
 
                {"src": "fd-wayland:wayland",
                 "config-opts": ["--disable-documentation"]},