1 |
commit: 655175e507d6c43e51ee7ba8c91005f706c6a756 |
2 |
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com> |
3 |
AuthorDate: Sun May 27 12:01:50 2018 +0000 |
4 |
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun May 27 16:09:49 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=655175e5 |
7 |
|
8 |
kde-plasma/kde-gtk-config: remove unused patch(es) |
9 |
|
10 |
Closes: https://github.com/gentoo/gentoo/pull/8610 |
11 |
|
12 |
.../files/kde-gtk-config-5.4.2-gtk3-optional.patch | 19 ------------------- |
13 |
1 file changed, 19 deletions(-) |
14 |
|
15 |
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 |
16 |
deleted file mode 100644 |
17 |
index e1e8de2b174..00000000000 |
18 |
--- a/kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch |
19 |
+++ /dev/null |
20 |
@@ -1,19 +0,0 @@ |
21 |
---- a/CMakeLists.txt 2015-10-02 22:36:55.186480671 +0200 |
22 |
-+++ b/CMakeLists.txt 2015-10-02 22:38:40.048169719 +0200 |
23 |
-@@ -17,6 +17,7 @@ |
24 |
- include(ECMSetupVersion) |
25 |
- include(ECMInstallIcons) |
26 |
- include(ECMMarkAsTest) |
27 |
-+include(ECMOptionalAddSubdirectory) |
28 |
- include(GenerateExportHeader) |
29 |
- include(FeatureSummary) |
30 |
- include(KDEInstallDirs) |
31 |
-@@ -62,7 +63,7 @@ |
32 |
- install(FILES kde-gtk-config.desktop DESTINATION ${SERVICES_INSTALL_DIR}) |
33 |
- |
34 |
- add_subdirectory(gtkproxies) |
35 |
--add_subdirectory(gtk3proxies) |
36 |
-+ecm_optional_add_subdirectory(gtk3proxies) |
37 |
- add_subdirectory(icons) |
38 |
- add_subdirectory(tests) |
39 |
- |