diff options
| author | Bjørn Forsman <bjorn.forsman@gmail.com> | 2016-01-04 15:50:46 +0100 |
|---|---|---|
| committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2016-05-19 13:59:16 +0200 |
| commit | ca717d0d654c11cc59622123251e79bb9ec7142d (patch) | |
| tree | e9d77060640866334062113b50e315a062593b95 /pkgs/development/python-modules/python-sql | |
| parent | 74cba61eb06b3f51ae1bb49893b1288e43f98155 (diff) | |
gnome-terminal: enable GNOME Shell search provider (for 3.18)
[This is a re-application of the patch that was originally written for
GNOME 3.16. It was lost during the transition to GNOME 3.18.]
Silly ./configure, it looks for dbus file from gnome-shell in the
installation tree of the package it is configuring. Fix by copying the
needed file from gnome-shell before ./configure is run.
This change makes gnome-shell a build time dependency (not runtime).
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions