targets/toolchain_makefile.py
changeset 536 9b77aabf3d36
parent 521 02cb9e5fb6f6
child 538 ad05f27222cd
equal deleted inserted replaced
533:25437efb7ae4 536:9b77aabf3d36
    49                 if CFLAGS not in cflags:
    49                 if CFLAGS not in cflags:
    50                     cflags.append(CFLAGS)
    50                     cflags.append(CFLAGS)
    51                     
    51                     
    52             self.md5key = hashlib.md5(wholesrcdata).hexdigest()
    52             self.md5key = hashlib.md5(wholesrcdata).hexdigest()
    53             props = self.PluginsRootInstance.GetProjectProperties()
    53             props = self.PluginsRootInstance.GetProjectProperties()
    54             self.md5key += '|'.join([props[key] for key in ['companyName',
    54             self.md5key += '#'.join([props[key] for key in ['companyName',
    55                                                             'projectName',
    55                                                             'projectName',
    56                                                             'productName']])
    56                                                             'productName']])
    57             self.md5key += '|'+','.join(map(str,time.localtime()))
    57             self.md5key += '#'+','.join(map(str,time.localtime()))
    58             # Store new PLC filename based on md5 key
    58             # Store new PLC filename based on md5 key
    59             f = open(self._GetMD5FileName(), "w")
    59             f = open(self._GetMD5FileName(), "w")
    60             f.write(self.md5key)
    60             f.write(self.md5key)
    61             f.close()
    61             f.close()
    62         beremizcommand = {"src": ' '.join(srcfiles),
    62         beremizcommand = {"src": ' '.join(srcfiles),