[gnome-build-meta/jjardon/gnome_3_37_92_2: 28/31] core/gnome-shell: do not build the extenions app

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

commit d74730846dd632d586e7224e72d0ebf725c411e8
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