diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-04-15 15:57:02 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-04-15 15:57:02 +0200 |
| commit | 3193a2e60a113301aea5d1b73d3d24cf6f3cd145 (patch) | |
| tree | 6aada854bc5094669015bc7762e18399c3472bf7 | |
| parent | 725c96dc7e111aa2fd373614dabe3648864a4174 (diff) | |
| download | jenkins.debian.net-3193a2e60a113301aea5d1b73d3d24cf6f3cd145.tar.xz | |
reproducible Debian: kill running builds on shutdown
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -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 |