From 0ac6f6159ececa99f2152fc6d134a3ae48ad7d33 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 25 Oct 2017 13:21:52 +0200
Subject: [PATCH] tool: add unscoped_label to xml schema

---
 tool/run/genode.xsd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/run/genode.xsd b/tool/run/genode.xsd
index 2154f0131..9c1a5c6c8 100644
--- a/tool/run/genode.xsd
+++ b/tool/run/genode.xsd
@@ -16,6 +16,7 @@
   <xs:attribute name="label" type="xs:string" />
   <xs:attribute name="label_prefix" type="xs:string" />
   <xs:attribute name="label_suffix" type="xs:string" />
+  <xs:attribute name="unscoped_label" type="xs:string" />
  </xs:complexType>
 
  <xs:complexType name="template_route">