@@ -107,6 +107,8 @@ if [ -e "$BUILD_DIR" ]; then
107107 rm -rf " $BUILD_DIR /recovery-$( get_package_version recovery) " || true
108108fi
109109
110+ SKIP_KERNEL_REBUILD=0
111+
110112for i in $* ; do
111113 # Update raspberrypi/firmware master HEAD version in package/rpi-firmware/rpi-firmware.mk to latest
112114 if [ $i = " update-firmware" ]; then
@@ -123,6 +125,11 @@ for i in $*; do
123125 update_github_kernel_version raspberrypi/linux rpi-3.18.y
124126 fi
125127
128+ # Option to build just recovery without completely rebuilding both kernels
129+ if [ $i = " skip-kernel-rebuild" ]; then
130+ SKIP_KERNEL_REBUILD=1
131+ fi
132+
126133 # Early-exit (in case we want to just update config files without doing a build)
127134 if [ $i = " nobuild" ]; then
128135 exit
@@ -138,17 +145,21 @@ mkdir -p "$FINAL_OUTPUT_DIR"
138145mkdir -p " $FINAL_OUTPUT_DIR /os"
139146cp -r ../sdcontent/* " $FINAL_OUTPUT_DIR "
140147
141- # Rebuild kernel for ARMv7
142- select_kernelconfig armv7
143- make linux-reconfigure
144- # copy ARMv7 kernel
145- cp " $IMAGES_DIR /zImage" " $FINAL_OUTPUT_DIR /recovery7.img"
146-
147- # Rebuild kernel for ARMv6
148- select_kernelconfig armv6
149- make linux-reconfigure
150- # copy ARMv6 kernel
151- cp " $IMAGES_DIR /zImage" " $FINAL_OUTPUT_DIR /recovery.img"
148+ if [ $SKIP_KERNEL_REBUILD -ne 1 ]; then
149+ # Rebuild kernel for ARMv7
150+ select_kernelconfig armv7
151+ make linux-reconfigure
152+ # copy ARMv7 kernel
153+ cp " $IMAGES_DIR /zImage" " $FINAL_OUTPUT_DIR /recovery7.img"
154+
155+ # Rebuild kernel for ARMv6
156+ select_kernelconfig armv6
157+ make linux-reconfigure
158+ # copy ARMv6 kernel
159+ cp " $IMAGES_DIR /zImage" " $FINAL_OUTPUT_DIR /recovery.img"
160+ else
161+ echo " Warning: kernels in '$NOOBS_OUTPUT_DIR ' directory haven't been updated"
162+ fi
152163
153164# copy rootfs
154165cp " $IMAGES_DIR /rootfs.cpio.lzo" " $FINAL_OUTPUT_DIR /recovery.rfs"
0 commit comments