[gnome-build-meta/abderrahim/3.37.92: 12/15] core/gnome-shell: do not build the extenions app

[Abderrahim Kitouni <akitouni src gnome org>]

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