>>>>> 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
signature.asc
Description: PGP signature
