diff options
| author | Brian Paul <[email protected]> | 2011-09-28 09:04:03 -0600 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2011-09-28 09:05:58 -0600 |
| commit | e112287474e225969fb10e6bc744d9c48a853fc6 (patch) | |
| tree | a65b32e7576889073965b49dc3d37d80b4783806 /src/mesa | |
| parent | ddb5cd0a7b7d55595c47f25645b80796dc8cdf7a (diff) | |
scons: fix write_git_sha1_h_file() issue on Windows
Unlike on Unix, os.rename(src, dst) will fail on Windows if the dst file
already exists. Remove it first.
Diffstat (limited to 'src/mesa')
| -rw-r--r-- | src/mesa/SConscript | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mesa/SConscript b/src/mesa/SConscript index 595f8fc8f28..3d5d37ae099 100644 --- a/src/mesa/SConscript +++ b/src/mesa/SConscript @@ -488,6 +488,8 @@ def write_git_sha1_h_file(filename): if not os.path.exists(filename) or not filecmp.cmp(tempfile, filename): # The filename does not exist or it's different from the new file, # so replace old file with new. + if os.path.exists(filename): + os.remove(filename) os.rename(tempfile, filename) return |