diff options
-rwxr-xr-x | scripts/image_signing/sign_official_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/image_signing/sign_official_build.sh b/scripts/image_signing/sign_official_build.sh index bb8d69d4..8c2ea13d 100755 --- a/scripts/image_signing/sign_official_build.sh +++ b/scripts/image_signing/sign_official_build.sh @@ -908,7 +908,7 @@ resign_minios_kernels() { # kernels aren't written to the partitions because the feature is not # enabled. if ! sudo "${FUTILITY}" dump_kernel_config "${loop_minios}"; then - info "Skipping empty miniOS partition ${partnum}." + info "Skipping empty miniOS partition ${loop_minios}." continue fi |