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

[Abderrahim Kitouni <akitouni src gnome org>]

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