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

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

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.
---
 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