diff mbox series

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

Message ID 20240709123907.2400138-1-andrew.cooper3@citrix.com (mailing list archive)
State New
Headers show
Series [for-4.19?] stubdom: Remove more leftovers of caml-stubdom | expand

Commit Message

Andrew Cooper July 9, 2024, 12:39 p.m. UTC
Fixes: e536a497545f ("stubdom: Remove caml-stubdom")
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
---
CC: Juergen Gross <jgross@suse.com>
CC: Oleksii Kurochko <oleksii.kurochko@gmail.com>

For 4.19.  This is additional tidying to a removal in 4.19, which will
otherwise need backporting if it misses 4.19.
---
 config/Stubdom.mk.in | 3 ---
 1 file changed, 3 deletions(-)


base-commit: c4ebeb79d10a25e8d48a71cdd381898265267e67

Comments

Oleksii Kurochko July 9, 2024, 2:10 p.m. UTC | #1
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@citrix.com>
> ---
> CC: Juergen Gross <jgross@suse.com>
> CC: Oleksii Kurochko <oleksii.kurochko@gmail.com>
> 
> 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@gmail.com>

~ 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
Jürgen Groß July 9, 2024, 2:16 p.m. UTC | #2
On 09.07.24 14:39, Andrew Cooper wrote:
> Fixes: e536a497545f ("stubdom: Remove caml-stubdom")
> Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>

Reviewed-by: Juergen Gross <jgross@suse.com>


Juergen
diff mbox series

Patch

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@