summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattia Rizzolo <mattia@debian.org>2017-10-18 07:19:20 +0200
committerMattia Rizzolo <mattia@debian.org>2017-10-18 07:19:23 +0200
commit3b8f210d769e3dd7eeaee5cddab8b9348929b397 (patch)
tree5771f5dbe43773ff206d1719f06172fc37e3a738
parent6f530c2421b11b9a08ce9bebce6e2b290699b4e6 (diff)
downloadjenkins.debian.net-3b8f210d769e3dd7eeaee5cddab8b9348929b397.tar.xz
reproducible: health_check: include the running kernel version when reporting multiple kernel installed in /boot
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-rwxr-xr-xbin/reproducible_node_health_check.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh
index d10029bf..2ccf57fe 100755
--- a/bin/reproducible_node_health_check.sh
+++ b/bin/reproducible_node_health_check.sh
@@ -121,6 +121,7 @@ if [ "$(lsb_release -si)" = "Ubuntu" ] ; then
echo "Warning, more than one kernel in /boot:"
ls -lart /boot/vmlinuz-*
df -h /boot
+ echo "Running kernel: $(uname -r)"
DIRTY=true
fi
fi