[gnome-apps-nightly] Builder: fix devhelp compilation

[Christian Hergert <chergert src gnome org>]

commit e656bb3ebb5214a48120ea11981b2ef944c97cd2
Author: Christian Hergert <chergert redhat com>
Date:   Tue Nov 15 21:44:58 2016 -0800

    Builder: fix devhelp compilation

 org.gnome.Builder.json |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/org.gnome.Builder.json b/org.gnome.Builder.json
index b71bdde..9edef3f 100644
--- a/org.gnome.Builder.json
+++ b/org.gnome.Builder.json
@@ -273,6 +273,7 @@
         },
         {
             "name": "devhelp",
+            "config-opts": [ "--disable-compile-warnings" ],
             "cleanup": [ "/bin/*", "/lib/gedit/plugins", "/share/applications/*", "/share/dbus-1/services", 
"/share/GConf" ],
             "sources": [
                 {