Fixes: e536a497545f ("stubdom: Remove caml-stubdom")
Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
---
CC: Juergen Gross <jgr...@suse.com>
CC: Oleksii Kurochko <oleksii.kuroc...@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(-) 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 -- 2.39.2
