targets/toolchain_makefile.py
changeset 546 093a20ea5ffc
parent 538 ad05f27222cd
child 571 427bf9130d12
--- 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"]