diff options
author | Florian Müllner <fmuellner@gnome.org> | 2018-10-04 20:09:25 +0200 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2019-01-26 14:35:30 +0100 |
commit | ee3cd450a54912f652a623dfd2b42b579b509ed1 (patch) | |
tree | a4eb27e566eace4d4dd3697f27294d09d3a44a32 | |
parent | 996369a22d82fa725783a4f1cdd655818db73043 (diff) | |
download | gnome-shell-wip/fmuellner/remove-app-menu.tar.gz |
build: Don't introspect ShellMenuwip/fmuellner/remove-app-menu
It is now only used internally by ShellApp to track remote actions,
so there's no need to expose it to javascript code.
https://gitlab.gnome.org/GNOME/gnome-shell/issues/624
-rw-r--r-- | src/meson.build | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/meson.build b/src/meson.build index 9813bc4ef..97a5a796c 100644 --- a/src/meson.build +++ b/src/meson.build @@ -79,20 +79,6 @@ libshell_menu = library('gnome-shell-menu', install: true ) -libshell_menu_gir = gnome.generate_gir(libshell_menu, - sources: libshell_menu_sources, - nsversion: '0.1', - namespace: 'ShellMenu', - identifier_prefix: 'Gtk', - symbol_prefix: 'gtk', - includes: ['Gio-2.0', libst_gir[0]], - dependencies: [mutter_dep], - extra_args: ['--quiet'], - install_dir_gir: pkgdatadir, - install_dir_typelib: pkglibdir, - install: true -) - libshell_menu_dep = declare_dependency(link_with: libshell_menu) libshell_public_headers = [ @@ -222,7 +208,6 @@ endif libshell_gir_includes += [ libgvc_gir[0], - libshell_menu_gir[0], libst_gir[0] ] |