Safer passing of PLC ID to make command line.
authorLolitech
Thu, 03 Jun 2010 17:17:51 +0200
changeset 546 093a20ea5ffc
parent 545 627e5c636a4f
child 547 5748d695beee
Safer passing of PLC ID to make command line.
targets/toolchain_makefile.py
--- a/targets/toolchain_makefile.py	Thu Jun 03 12:57:28 2010 +0200
+++ b/targets/toolchain_makefile.py	Thu Jun 03 17:17:51 2010 +0200
@@ -56,7 +56,7 @@
             f.close()
         beremizcommand = {"src": ' '.join(srcfiles),
                           "cflags": ' '.join(cflags),
-                          "md5": self.md5key
+                          "md5": '"'+self.md5key+'"'
                          }
         
         target = self.PluginsRootInstance.GetTarget().getcontent()["value"]