diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-05 13:19:50 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-05 13:19:50 +0200 |
| commit | f138af6494ab94ad1417a39976948287c1a4155c (patch) | |
| tree | aaa869f31abb708daf6267baa739bf19c86d0448 /hosts/bpi0-armhf-rb | |
| parent | 299e6d58a5d8acdc57ff2ff2725a9936bb27d168 (diff) | |
| download | jenkins.debian.net-f138af6494ab94ad1417a39976948287c1a4155c.tar.xz | |
reproducible: use pgrep, less pipes
Diffstat (limited to 'hosts/bpi0-armhf-rb')
| -rwxr-xr-x | hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds b/hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/bpi0-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 |