diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rw-r--r-- | hosts/jenkins/etc/systemd/system/reproducible_build@service | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/systemd/system/reproducible_build@service b/hosts/jenkins/etc/systemd/system/reproducible_build@service new file mode 100644 index 00000000..dc465f75 --- /dev/null +++ b/hosts/jenkins/etc/systemd/system/reproducible_build@service @@ -0,0 +1,12 @@ +[Unit] +Description=Build service for reproducible-builds jobs + +[Service] +# Restart whenever the script exits, without rate limiting: +Restart=always +StartLimitInterval=0 + +ExecStart=/srv/jenkins/bin/reproducible_build_service.sh %I + +[Install] +WantedBy=multi-user.target |