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 /bin/reproducible_build_service.sh | |
| 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>
Diffstat (limited to 'bin/reproducible_build_service.sh')
0 files changed, 0 insertions, 0 deletions