[Qa-jenkins-scm] [jenkins.debian.net] 01/01: reproducible Debian: add check for more than one kernel installed (only on Ubuntu systems)

[Holger Levsen]

This is an automated email from the git hooks/post-receive script.

holger pushed a commit to branch master
in repository jenkins.debian.net.

commit 958558e0a0753b7f99ceedc632b635a29a6eae7a
Author: Holger Levsen <holger at layer-acht.org>
Date:   Thu Jun 15 13:34:37 2017 +0200

    reproducible Debian: add check for more than one kernel installed (only on Ubuntu systems)
    
    Signed-off-by: Holger Levsen <holger at layer-acht.org>
---
 bin/reproducible_node_health_check.sh | 14 ++++++++++++++
 logparse/reproducible.rules           |  2 +-
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh
index 12a5f21..ea4266d 100755
--- a/bin/reproducible_node_health_check.sh
+++ b/bin/reproducible_node_health_check.sh
@@ -101,6 +101,20 @@ else
 fi
 
 #
+# check for cleaned up kernels
+# (on Ubuntu systems only, as those have free spaces issues on /boot frequently)
+#
+if [ "$(lsb_release -si)" = "Ubuntu" ] ; then
+	echo "$(date -u) - testing whether only one kernel is installed..."
+	if [ "$(ls /boot/vmlinuz-*|wc -l)" != "1" ] ; then
+		echo "Warning, more than one kernel in /boot:"
+		ls -lart /boot/vmlinuz-*
+		df -h /boot
+		DIRTY=true
+	fi
+fi
+
+#
 # finally
 #
 if ! $DIRTY ; then
diff --git a/logparse/reproducible.rules b/logparse/reproducible.rules
index cba9955..39faf2e 100644
--- a/logparse/reproducible.rules
+++ b/logparse/reproducible.rules
@@ -23,5 +23,5 @@ warning /W: There is no public key available for the following key IDs:.+/
 warning /Warning: /.../shm.+please tell the jenkins admins to fix this./
 warning /Warning, today is the wrong future:.+/
 warning /Warning: curl http:..www.debian.org failed, probably the proxy is down for.+/
-
+warning /Warning, more than one kernel in.+/
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/qa/jenkins.debian.net.git