reproducible debian: Rename armhf host odxu4 to odxu4a.

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

1 files changed, 56 insertions, 0 deletions

diff --git a/hosts/odxu4a-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds b/hosts/odxu4a-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds
new file mode 100755
index 00000000..e990c127
--- /dev/null
+++ b/hosts/odxu4a-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds
@@ -0,0 +1,56 @@
+#!/bin/sh
+# -*- sh -*-
+
+: << =cut
+
+=head1 NAME
+
+jenkins_reproducible_builds - Plugin to measure number of reproducible builds running
+
+=head1 AUTHOR
+
+Contributed by Holger Levsen
+
+=head1 LICENSE
+
+GPLv2
+
+=head1 MAGIC MARKERS
+
+ #%# family=auto
+ #%# capabilities=autoconf
+
+=cut
+
+. $MUNIN_LIBDIR/plugins/plugin.sh
+
+if [ "$1" = "autoconf" ]; then
+	echo yes
+	exit 0
+fi
+
+JOB_PREFIXES="first second"
+if [ "$1" = "config" ]; then
+	echo 'graph_title Concurrent reproducible builds running'
+	echo 'graph_args --base 1000 -l 0 '
+	echo 'graph_scale no'
+	echo 'graph_total total'
+	echo 'graph_vlabel Concurrent reproducible builds running'
+	echo 'graph_category jenkins'
+	draw=AREA
+	for PREFIX in $JOB_PREFIXES ; do
+		echo "jenkins_reproducible_${PREFIX}_build.label $PREFIX build"
+		echo "jenkins_reproducible_${PREFIX}_build.draw $draw"
+		if [ "$draw" = "AREA" ] ; then draw=STACK ; fi
+	done
+	exit 0
+fi
+
+for PREFIX in $JOB_PREFIXES ; do
+	if [ "$PREFIX" = "first" ] ; then
+		NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1")
+	else
+		NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2")
+	fi
+	echo "jenkins_reproducible_${PREFIX}_build.value $NR"
+	done