beremiz

093a20ea5ffc
Parents 627e5c636a4f
Children 5748d695beee
Safer passing of PLC ID to make command line.
--- 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"]