https://bugs.kde.org/show_bug.cgi?id=376246
Luigi Toscano <luigi.tosc...@tiscali.it> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|CONFIRMED |RESOLVED
Resolution|--- |FIXED
Latest Commit| |https://commits.kde.org/kdo
| |ctools/d7e0d20ae5f63a842f35
| |43a8f0eef9afd54e0dbe
--- Comment #4 from Luigi Toscano <luigi.tosc...@tiscali.it> ---
Git commit d7e0d20ae5f63a842f3543a8f0eef9afd54e0dbe by Luigi Toscano.
Committed on 11/02/2017 at 14:39.
Pushed by ltoscano into branch 'master'.
Fail the build early if xmllint is not available
Summary:
xmllint is required later anyway, and kio_help has the check.
Test Plan: If xmllint is not available, compilation fails in the cmake phase.
Reviewers: winterz
Reviewed By: winterz
Subscribers: #frameworks, #documentation
Tags: #frameworks, #documentation
Differential Revision: https://phabricator.kde.org/D4558
M +3 -0 CMakeLists.txt
https://commits.kde.org/kdoctools/d7e0d20ae5f63a842f3543a8f0eef9afd54e0dbe
--
You are receiving this mail because:
You are watching all bug changes.
