diff options
author | nyamatongwe <unknown> | 2003-09-21 02:15:16 +0000 |
---|---|---|
committer | nyamatongwe <unknown> | 2003-09-21 02:15:16 +0000 |
commit | f0e52b6fa8e8271e23db68870ee897ec04b0793b (patch) | |
tree | 7a7ad4f2aef8c17bbb40e44231d0b1661b55ccf6 | |
parent | 2723cc16d64bb815640b4c425918a6a775c81d25 (diff) | |
download | scintilla-mirror-f0e52b6fa8e8271e23db68870ee897ec04b0793b.tar.gz |
Remove temporary file if no update.
-rw-r--r-- | include/HFacer.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/HFacer.py b/include/HFacer.py index a26aab842..5f19ef948 100644 --- a/include/HFacer.py +++ b/include/HFacer.py @@ -60,7 +60,9 @@ def Regenerate(filename, genfn, definition): out.close() hfile.close() outText = contents(tempname) - if inText != outText: + if inText == outText: + os.unlink(tempname) + else: os.unlink(filename) os.rename(tempname, filename) |