diff options
Diffstat (limited to 'dev-util/kdevelop/files')
| -rw-r--r-- | dev-util/kdevelop/files/kdevelop-ninja-optional.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-util/kdevelop/files/kdevelop-ninja-optional.patch b/dev-util/kdevelop/files/kdevelop-ninja-optional.patch new file mode 100644 index 00000000000..a84279bfc7d --- /dev/null +++ b/dev-util/kdevelop/files/kdevelop-ninja-optional.patch @@ -0,0 +1,9 @@ +--- a/projectbuilders/CMakeLists.txt 2015-02-02 15:19:46.000000000 +0100 ++++ b/projectbuilders/CMakeLists.txt 2015-07-06 22:51:22.083293634 +0200 +@@ -1,5 +1,5 @@ + + add_subdirectory(makebuilder) +-add_subdirectory(ninjabuilder) ++ecm_optional_add_subdirectory(ninjabuilder) + ecm_optional_add_subdirectory(cmakebuilder) + |