From c640fb4be85a682dce80da91ebc257b9d1e0ccd4 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Sat, 1 Oct 2016 16:39:35 +0000
Subject: [PATCH] compile in the absence of libxml2-dev

---
 src/kernel/config.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/kernel/config.c b/src/kernel/config.c
index 5921535c7..f7eb0e303 100644
--- a/src/kernel/config.c
+++ b/src/kernel/config.c
@@ -740,7 +740,9 @@ void kernel_done(void)
     /* calling this function releases memory assigned to static variables, etc.
      * calling it is optional, e.g. a release server will most likely not do it.
      */
+#ifdef USE_LIBXML2
     xml_done();
+#endif
     attrib_done();
     item_done();
     message_done();