targets/toolchain_makefile.py
changeset 536 9b77aabf3d36
parent 521 02cb9e5fb6f6
child 538 ad05f27222cd
--- a/targets/toolchain_makefile.py	Fri Dec 25 13:08:20 2009 +0100
+++ b/targets/toolchain_makefile.py	Tue Jun 01 11:24:09 2010 +0200
@@ -51,10 +51,10 @@
                     
             self.md5key = hashlib.md5(wholesrcdata).hexdigest()
             props = self.PluginsRootInstance.GetProjectProperties()
-            self.md5key += '|'.join([props[key] for key in ['companyName',
+            self.md5key += '#'.join([props[key] for key in ['companyName',
                                                             'projectName',
                                                             'productName']])
-            self.md5key += '|'+','.join(map(str,time.localtime()))
+            self.md5key += '#'+','.join(map(str,time.localtime()))
             # Store new PLC filename based on md5 key
             f = open(self._GetMD5FileName(), "w")
             f.write(self.md5key)