Lines Matching refs:kernel
6 # make-debug-archive --kernel [--force] [RELEASE]
11 # The archive installed by --kernel be used automatically by -K.
30 echo " or: $0 --kernel [--sudo] [--force] [RELEASE]"
35 echo "The --kernel form updates the file used by -K if the"
36 echo "kernel installation has changed, or always with --force."
57 kernel=no
63 x--kernel) kernel=yes ;;
71 if [ $kernel = no ] && [ $force_kernel = yes -o -n "$sudo" ]; then
75 if [ $kernel = yes ]; then
93 # Without --force, bail if the kernel installation is not newer.