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