targets/__init__.py
changeset 2490 2d72d8a8d7e5
parent 1881 091005ec69c4
child 3750 f62625418bff
--- a/targets/__init__.py	Thu Feb 14 10:06:43 2019 +0100
+++ b/targets/__init__.py	Tue Feb 19 11:27:29 2019 +0100
@@ -74,9 +74,10 @@
             DictXSD_toolchain["toolchain_"+toolchainname] = open(xsdfilename).read()
 
     # Get all xsd targets
-    for _targetname, nfo in targets.iteritems():
+    for target_name, nfo in targets.iteritems():
         xsd_string = open(nfo["xsd"]).read()
-        targetchoices += xsd_string % DictXSD_toolchain
+        targetchoices += xsd_string % dict(DictXSD_toolchain,
+                                           target_name=target_name)
 
     return targetchoices