diff options
| author | Michael Biebl <biebl@debian.org> | 2013-03-04 23:20:16 +0100 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2013-03-04 23:23:06 +0100 |
| commit | d51167c6268d11f02c2676693a8e9dc1b628cdbb (patch) | |
| tree | 88436f2b2f06cd7c8323402d9f6bc8de7cc67d99 /man/systemd-coredumpctl.xml | |
| parent | 135b5212d4234f5b75c9b86c9f924047c8d07589 (diff) | |
build-sys: build and install systemd-coredumpctl conditionally
If coredump support is disabled via --disable-coredump, do not build and
install the systemd-coredumpctl binary and man page.
Diffstat (limited to 'man/systemd-coredumpctl.xml')
| -rw-r--r-- | man/systemd-coredumpctl.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/systemd-coredumpctl.xml b/man/systemd-coredumpctl.xml index ce40404da..02b688606 100644 --- a/man/systemd-coredumpctl.xml +++ b/man/systemd-coredumpctl.xml @@ -21,7 +21,7 @@ along with systemd; If not, see <http://www.gnu.org/licenses/>. --> -<refentry id="systemd-coredumpctl"> +<refentry id="systemd-coredumpctl" conditional='ENABLE_COREDUMP'> <refentryinfo> <title>systemd-coredumpctl</title> |