>>>>> On Fri, 03 Sep 2021, Mike  wrote:

> -     if [ ! -s "${KV_DIR}/Makefile" ]
> +     get_makefile
> +
> +     if [[ ! -s "${KERNEL_MAKEFILE}" ]]

<nitpick>
No quotation marks needed in [[ ]].
</nitpick

> +     [[ -s "${KV_DIR}"/GNUMakefile ]] && 
> KERNEL_MAKEFILE="${KV_DIR}/GNUMakefile"
> +     [[ -s "${KV_DIR}"/makefile ]] && KERNEL_MAKEFILE="${KV_DIR}/makefile"
> +     [[ -s "${KV_DIR}"/Makefile ]] && KERNEL_MAKEFILE="${KV_DIR}/Makefile"

Ditto.

Ulrich

Attachment: signature.asc
Description: PGP signature

Reply via email to