Re: %%JAVA_HOME%% replacement

From: Einar_Bjarni_Halldórsson <einar_at_isnic.is>
Date: Tue, 03 Jan 2023 13:08:32 UTC
Hi Nuno,

On 1/3/23 10:52, Nuno Teixeira wrote:
> 
> Did you add to Makefile:
> ---
> SUB_FILES= pkg-message
> SUB_LIST= JAVA_HOME=${JAVA_HOME}
> ---
> ?

Thank you, SUB_LIST is exactly what I was looking for.

.einar