targets/toolchain_makefile.py
changeset 677 607731b33026
parent 573 f0c5fc74018d
child 691 bb340874f09e
--- a/targets/toolchain_makefile.py	Thu Feb 02 00:28:27 2012 +0100
+++ b/targets/toolchain_makefile.py	Thu Feb 02 16:09:27 2012 +0100
@@ -24,6 +24,13 @@
     def _GetMD5FileName(self):
         return os.path.join(self.buildpath, "lastbuildPLC.md5")
 
+    def ResetBinaryCodeMD5(self):
+        self.md5key = None
+        try:
+            os.remove(self._GetMD5FileName())
+        except Exception, e:
+            pass
+
     def GetBinaryCodeMD5(self):
         if self.md5key is not None:
             return self.md5key