From 6de13fd71c7c89edff67b217d998aa266b9bff3e Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 2 Jul 2014 10:17:47 +0200
Subject: [PATCH] Disable config syntax check for tool-chain test

---
 repos/ports/run/noux_tool_chain.inc | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc
index 4d11712d8..e2c9c2f22 100644
--- a/repos/ports/run/noux_tool_chain.inc
+++ b/repos/ports/run/noux_tool_chain.inc
@@ -26,6 +26,16 @@ set build_components {
 	test/libports/ncurses
 }
 
+#
+# Disable syntax check for config file
+#
+# The syntax check fails because the content of the '.bash_profile' is
+# specified using an '<inline>' node but it is no valid XML. I.e., xmllint
+# complains about the sequence '&&'.
+#
+proc check_xml_syntax {xml_file} { }
+
+
 lappend_if [have_spec acpi]     build_components drivers/acpi
 lappend_if [have_spec pci]      build_components drivers/pci/device_pd
 lappend_if $use_platform_driver build_components drivers/platform