diff options
| author | pyllyukko <pyllyukko@maimed.org> | 2020-01-07 23:27:27 +0300 |
|---|---|---|
| committer | pyllyukko <pyllyukko@maimed.org> | 2020-01-07 23:27:27 +0300 |
| commit | 618a8430174ba1b912fc0df5d8bfe1b9cbcdb9c0 (patch) | |
| tree | 8f1f63de0bb3dbf497d442d44069f3dc90e45649 /include/tests_kernel | |
| parent | b48bee581add42afbff3b336392dd0be74f1a7a9 (diff) | |
KRNL-5788 in Raspi: don't complain about missing /vmlinuz
The Raspberry Pi kernels reside within raspberrypi-kernel package[1].
[1] https://www.raspberrypi.org/documentation/linux/kernel/updating.md
Diffstat (limited to 'include/tests_kernel')
| -rw-r--r-- | include/tests_kernel | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/tests_kernel b/include/tests_kernel index fbd1ff85..5f5ce856 100644 --- a/include/tests_kernel +++ b/include/tests_kernel @@ -392,6 +392,9 @@ elif [ -e ${ROOTDIR}dev/grsec ]; then FINDKERNEL=linux-image-$(uname -r) LogText "Result: ${ROOTDIR}vmlinuz missing due to grsecurity; assuming ${FINDKERNEL}" + elif [ -e ${ROOTDIR}etc/rpi-issue ]; then + FINDKERNEL=raspberrypi-kernel + LogText "Result: ${ROOTDIR}vmlinuz missing due to Raspbian" else LogText "This system is missing ${ROOTDIR}vmlinuz or ${ROOTDIR}boot/vmlinuz. Unable to check whether kernel is up-to-date." ReportSuggestion "${TEST_NO}" "Determine why ${ROOTDIR}vmlinuz or ${ROOTDIR}boot/vmlinuz is missing on this Debian/Ubuntu system." "/vmlinuz or /boot/vmlinuz" |