diff --git a/Tools/freeze/bkfile.py b/Tools/freeze/bkfile.py index 6d0ccdeac78..d29716a93c9 100644 --- a/Tools/freeze/bkfile.py +++ b/Tools/freeze/bkfile.py @@ -35,11 +35,8 @@ def close(self): self.__file.close() if self.__backup is None: return - import cmp - # don't use cmp.cmp because of NFS bugs :-( and - # anyway, the stat mtime values differ so do_cmp will - # most likely be called anyway - if cmp.do_cmp(self.__backup, self.__filename): + import filecmp + if filecmp.cmp(self.__backup, self.__filename, shallow = 0): import os os.unlink(self.__filename) os.rename(self.__backup, self.__filename)