diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-05-27 14:01:50 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2018-05-27 12:09:49 -0400 |
| commit | 655175e507d6c43e51ee7ba8c91005f706c6a756 (patch) | |
| tree | b9a4686bc28afbc089c20e27d5a128b07318f20c /kde-plasma/kde-gtk-config | |
| parent | sys-apps/systemd: remove unused patches (diff) | |
| download | gentoo-655175e507d6c43e51ee7ba8c91005f706c6a756.tar.gz gentoo-655175e507d6c43e51ee7ba8c91005f706c6a756.tar.bz2 gentoo-655175e507d6c43e51ee7ba8c91005f706c6a756.zip | |
kde-plasma/kde-gtk-config: remove unused patch(es)
Closes: https://github.com/gentoo/gentoo/pull/8610
Diffstat (limited to 'kde-plasma/kde-gtk-config')
| -rw-r--r-- | kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch b/kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch deleted file mode 100644 index e1e8de2b1748..000000000000 --- a/kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- a/CMakeLists.txt 2015-10-02 22:36:55.186480671 +0200 -+++ b/CMakeLists.txt 2015-10-02 22:38:40.048169719 +0200 -@@ -17,6 +17,7 @@ - include(ECMSetupVersion) - include(ECMInstallIcons) - include(ECMMarkAsTest) -+include(ECMOptionalAddSubdirectory) - include(GenerateExportHeader) - include(FeatureSummary) - include(KDEInstallDirs) -@@ -62,7 +63,7 @@ - install(FILES kde-gtk-config.desktop DESTINATION ${SERVICES_INSTALL_DIR}) - - add_subdirectory(gtkproxies) --add_subdirectory(gtk3proxies) -+ecm_optional_add_subdirectory(gtk3proxies) - add_subdirectory(icons) - add_subdirectory(tests) - |