diff options
Diffstat (limited to 'hosts/wbq0-armhf-rb/etc/munin')
| -rwxr-xr-x | hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds b/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds @@ -48,9 +48,9 @@ fi for PREFIX in $JOB_PREFIXES ; do if [ "$PREFIX" = "first" ] ; then - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") else - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") fi echo "jenkins_reproducible_${PREFIX}_build.value $NR" done |