Searched refs:one_kernel (Results 1 – 1 of 1) sorted by relevance
116 one_kernel="$1"118 if [ "$one_kernel" ]; then119 [ ! -f $one_kernel ] && {120 echo "$one_kernel doesn't exist"124 one_kernel_base=$(basename $one_kernel)