[gnome-build-meta/jjardon/gnome_3_37_92: 5/9] core/gnome-shell: do not build the extenions app

[Javier Jardón Cabezas <jjardon src gnome org>]

commit 7bb82aae87c803094f8e3360a73749b0824df5b8
Author: Jordan Petridis <jordan centricular com>
Date:   Thu Sep 3 01:58:07 2020 +0300

    core/gnome-shell: do not build the extenions app
    
    While its part of the shell build, its not really part of
    GNOME core and its better distributed from Flathub.
    
    It also already has its own CI so we don't need to
    worry about it not building anymore if we disable it.
    
    Close #313

 elements/core/gnome-shell.bst | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/elements/core/gnome-shell.bst b/elements/core/gnome-shell.bst
index 040bc922..20df1061 100644
--- a/elements/core/gnome-shell.bst
+++ b/elements/core/gnome-shell.bst
@@ -40,4 +40,5 @@ depends:
 
 variables:
   meson-local: >-
+    -Dextensions-app=false
     -Dextensions-tool:bash_completion=disabled