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/os-release.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/os-release.xml')
0 files changed, 0 insertions, 0 deletions