xen, xen-tools: update revision to Xen 4.13

Pull to the current tip of the stable 4.13 branch and apply an upstream
4.14-release-acked patch to xen-tools for a compiler warning in kdd.

Signed-off-by: Christopher Clark <christopher.w.clark@gmail.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>

1 files changed, 0 insertions, 40 deletions

diff --git a/recipes-extended/xen/files/xen-tools-pygrub-change-tabs-into-spaces.patch b/recipes-extended/xen/files/xen-tools-pygrub-change-tabs-into-spaces.patch
deleted file mode 100644
index d913be20..00000000
--- a/recipes-extended/xen/files/xen-tools-pygrub-change-tabs-into-spaces.patch
+++ /dev/null
@@ -1,40 +0,0 @@
-From b9e1368af14ded6aee3bdf64e8329628b16291ff Mon Sep 17 00:00:00 2001
-From: Wei Liu <wei.liu2@citrix.com>
-Date: Mon, 11 Mar 2019 12:55:29 +0000
-Subject: [PATCH] pygrub: change tabs into spaces
-
-Not sure why Python 2 never complained, but Python 3 does.
-
-Change tabs to spaces.
-
-Signed-off-by: Wei Liu <wei.liu2@citrix.com>
-Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
----
- tools/pygrub/src/pygrub | 4 ++--
- 1 file changed, 2 insertions(+), 2 deletions(-)
-
-diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub
-index 52a8965ad9..1189b1ca48 100755
---- a/tools/pygrub/src/pygrub
-+++ b/tools/pygrub/src/pygrub
-@@ -858,7 +858,7 @@ if __name__ == "__main__":
-             output_directory = a
- 
-     if debug:
--       logging.basicConfig(level=logging.DEBUG)
-+        logging.basicConfig(level=logging.DEBUG)
- 
- 
-     try:
-@@ -917,7 +917,7 @@ if __name__ == "__main__":
-             # IOErrors raised by fsimage.open
-             # RuntimeErrors raised by run_grub if no menu.lst present
-             if debug:
--               traceback.print_exc()
-+                traceback.print_exc()
-             fs = None
-             continue
- 
--- 
-2.17.1
-