diff options
| author | Bjørn Forsman <bjorn.forsman@gmail.com> | 2016-06-07 14:30:00 +0200 |
|---|---|---|
| committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2016-06-18 14:17:27 +0200 |
| commit | 0b061e7f753534a627ee6eb5adc8c6f48b531031 (patch) | |
| tree | 4928403ee6ed21f2649b7fbab92ea2f6d390acfb /pkgs/development/python-modules/python-sql | |
| parent | bb084880effdd89ea132deb91626d56fe51dcf01 (diff) | |
gnome-terminal: enable GNOME Shell search provider (for 3.20)
[This is a re-re-application of the patch that was originally written
for GNOME 3.16. It was lost during the transition to GNOME 3.18 and
then to 3.20. Third time's a charm?]
Silly ./configure, it looks for dbus file from gnome-shell in the
installation tree of the package it is configuring. Fix by copying
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
