> On Fri, 03 Sep 2021, Mike wrote:
> - if [ ! -s "${KV_DIR}/Makefile" ]
> + get_makefile
> +
> + if [[ ! -s "${KERNEL_MAKEFILE}" ]]
No quotation marks needed in [[ ]].
+ [[ -s "${KV_DIR}"/GNUMakefile ]] &&
> KERNEL_MAKEFILE="${KV_DIR}/GNUMakefile"
> + [[ -s "${KV_DIR}"
On Thu, 2021-09-02 at 19:28 -0400, Mike wrote:
> Support the possibility that the Makefile could be
> one of the following and should be checked in the order described here:
>
> https://www.gnu.org/software/make/manual/make.html
>
> Order of checking and valid Makefiles names:
> GNUMakefile, make
Support the possibility that the Makefile could be
one of the following and should be checked in the order described here:
https://www.gnu.org/software/make/manual/make.html
Order of checking and valid Makefiles names:
GNUMakefile, makefile, Makefile
Bug: https://bugs.gentoo.org/663368
Signed-o
