diff -r ca5a2047e0ed -r 02cb9e5fb6f6 targets/toolchain_makefile.py --- a/targets/toolchain_makefile.py Tue Dec 15 16:04:28 2009 +0100 +++ b/targets/toolchain_makefile.py Tue Dec 15 18:24:50 2009 +0100 @@ -2,6 +2,8 @@ from wxPopen import ProcessLogger import hashlib +import time + includes_re = re.compile('\s*#include\s*["<]([^">]*)[">].*') class toolchain_makefile(): @@ -48,6 +50,11 @@ cflags.append(CFLAGS) self.md5key = hashlib.md5(wholesrcdata).hexdigest() + props = self.PluginsRootInstance.GetProjectProperties() + self.md5key += '|'.join([props[key] for key in ['companyName', + 'projectName', + 'productName']]) + self.md5key += '|'+','.join(map(str,time.localtime())) # Store new PLC filename based on md5 key f = open(self._GetMD5FileName(), "w") f.write(self.md5key)