Re: [PATCH for-4.19?] stubdom: Remove more leftovers of caml-stubdom

[Oleksii <oleksii.kurochko@xxxxxxxxx>]

On Tue, 2024-07-09 at 13:39 +0100, Andrew Cooper wrote:
> Fixes: e536a497545f ("stubdom: Remove caml-stubdom")
> Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
> ---
> CC: Juergen Gross <jgross@xxxxxxxx>
> CC: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>
> 
> For 4.19.  This is additional tidying to a removal in 4.19, which
> will
> otherwise need backporting if it misses 4.19.
Release-Acked-By: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>

~ Oleksii
> ---
>  config/Stubdom.mk.in | 3 ---
>  1 file changed, 3 deletions(-)
> 
> diff --git a/config/Stubdom.mk.in b/config/Stubdom.mk.in
> index 5990fc4e04f9..b399d77740e8 100644
> --- a/config/Stubdom.mk.in
> +++ b/config/Stubdom.mk.in
> @@ -26,9 +26,6 @@ LWIP_URL            := @LWIP_URL@
>  GRUB_VERSION        := @GRUB_VERSION@
>  GRUB_URL            := @GRUB_URL@
>  
> -OCAML_VERSION       := @OCAML_VERSION@
> -OCAML_URL           := @OCAML_URL@
> -
>  GMP_VERSION         := @GMP_VERSION@
>  GMP_URL             := @GMP_URL@
>  
> 
> base-commit: c4ebeb79d10a25e8d48a71cdd381898265267e67