targets/__init__.py
changeset 1739 ec153828ded2
parent 1736 7e61baa047f0
child 1740 b789b695b5c6
--- a/targets/__init__.py	Mon Aug 14 23:38:28 2017 +0300
+++ b/targets/__init__.py	Tue Aug 15 12:17:51 2017 +0300
@@ -66,7 +66,7 @@
     targetchoices = ""
 
     # Get all xsd toolchains
-    for toolchainname,xsdfilename in toolchains.iteritems() :
+    for toolchainname,xsdfilename in toolchains.iteritems():
          if path.isfile(xsdfilename):
              DictXSD_toolchain["toolchain_"+toolchainname] = \
                 open(xsdfilename).read()