diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-12-06 13:43:26 +0100 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2018-12-06 16:31:17 +0000 |
commit | 117d7a963441c27d98a083c54692c5b8765779d5 (patch) | |
tree | 3b34cbdd418641ecdbfc4b308e95981cd9772a55 /contrib/jenkins.sh | |
parent | 07bcda7554a981cb23af9eb4ea9f5e23573580c6 (diff) |
contrib: fix makedistcheck with disabled systemd
EXTRA_DIST files need to be distributed, no matter if the systemd option
is configured or not.
Change-Id: I8dbb17571df5d6cea040498af2fe57f087bdeb24
Diffstat (limited to 'contrib/jenkins.sh')
0 files changed, 0 insertions, 0 deletions