diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-10-18 07:19:20 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2017-10-18 07:19:23 +0200 |
| commit | 3b8f210d769e3dd7eeaee5cddab8b9348929b397 (patch) | |
| tree | 5771f5dbe43773ff206d1719f06172fc37e3a738 | |
| parent | 6f530c2421b11b9a08ce9bebce6e2b290699b4e6 (diff) | |
| download | jenkins.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-x | bin/reproducible_node_health_check.sh | 1 |
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 |