# HG changeset patch
# User Lolitech
# Date 1275578271 -7200
# Node ID 093a20ea5ffc85ece3db1fbb173e9cb90930ad10
# Parent  627e5c636a4fab23a25c5909368cf721ab5a20fc
Safer passing of PLC ID to make command line.

diff -r 627e5c636a4f -r 093a20ea5ffc 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"]