diff options
Diffstat (limited to 'hosts/jenkins')
| -rw-r--r-- | hosts/jenkins/etc/systemd/system/reproducible_build@.service | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/systemd/system/reproducible_build@.service b/hosts/jenkins/etc/systemd/system/reproducible_build@.service index 7d54cc69..96228f1c 100644 --- a/hosts/jenkins/etc/systemd/system/reproducible_build@.service +++ b/hosts/jenkins/etc/systemd/system/reproducible_build@.service @@ -8,6 +8,7 @@ StartLimitInterval=0 User=jenkins Group=jenkins ExecStart=/srv/jenkins/bin/reproducible_build_service.sh %I +SendSIGHUP=yes [Install] WantedBy=multi-user.target |