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

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

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