diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-09-27 13:20:24 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-09-27 13:20:24 -0500 |
commit | a36115d71cc7ca52cef57216e394dc2b9353af2f (patch) | |
tree | 9d1307df5651e50c3ed712c24f5073f7246f4ff9 /pcr/openrc-devel/jenkins.initd | |
parent | e42f39cb191eb95c4a1b11f7c2acfec20082ace2 (diff) | |
download | abslibre-a36115d71cc7ca52cef57216e394dc2b9353af2f.tar.gz abslibre-a36115d71cc7ca52cef57216e394dc2b9353af2f.tar.bz2 abslibre-a36115d71cc7ca52cef57216e394dc2b9353af2f.zip |
openrc-devel-20170927-1: updating version
Diffstat (limited to 'pcr/openrc-devel/jenkins.initd')
-rw-r--r-- | pcr/openrc-devel/jenkins.initd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pcr/openrc-devel/jenkins.initd b/pcr/openrc-devel/jenkins.initd index 61aaefb83..de15a76c2 100644 --- a/pcr/openrc-devel/jenkins.initd +++ b/pcr/openrc-devel/jenkins.initd @@ -1,4 +1,4 @@ -#!/sbin/openrc-run +#!/usr/bin/openrc-run JENKINS_PIDFILE=/run/jenkins.pid |