[xen master] stubdom: Remove more leftovers of caml-stubdom

[patchbot@xxxxxxx]

commit 8e7c08a3363807462e6509abb4cdc7f69dad2dbb
Author:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Tue Jul 9 13:35:37 2024 +0100
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Tue Jul 9 15:32:18 2024 +0100

    stubdom: Remove more leftovers of caml-stubdom
    
    Fixes: e536a497545f ("stubdom: Remove caml-stubdom")
    Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
    Reviewed-by: Juergen Gross <jgross@xxxxxxxx>
    Release-Acked-By: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>
---
 config/Stubdom.mk.in | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/config/Stubdom.mk.in b/config/Stubdom.mk.in
index 5990fc4e04..b399d77740 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@
 
--
generated by git-patchbot for /home/xen/git/xen.git#master