diff options
| author | Evgeny Grechnikov <[email protected]> | 2022-02-10 16:46:20 +0300 |
|---|---|---|
| committer | Daniil Cherednik <[email protected]> | 2022-02-10 16:46:20 +0300 |
| commit | c73494e681a4e497ae191ada07a55a6bf55885ff (patch) | |
| tree | 1a2c5ffcf89eb53ecd79dbc9bc0a195c27404d0c /build/scripts/build_pln_header.py | |
| parent | 6e38f52f898d7c077ddd319800b4014967a5ca76 (diff) | |
Restoring authorship annotation for Evgeny Grechnikov <[email protected]>. Commit 2 of 2.
Diffstat (limited to 'build/scripts/build_pln_header.py')
| -rwxr-xr-x | build/scripts/build_pln_header.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build/scripts/build_pln_header.py b/build/scripts/build_pln_header.py index 96bafa99f84..c73693f444a 100755 --- a/build/scripts/build_pln_header.py +++ b/build/scripts/build_pln_header.py @@ -23,10 +23,10 @@ def BuildPlnHeader(): tmpFile.write('void {0}SSE(const float* const* factors, float* result);\n'.format(name)) tmpFile.close() try: - os.remove(outPath) - except: - pass - try: + os.remove(outPath) + except: + pass + try: os.rename(tmpPath, outPath) except: print >>sys.stdout, 'Error: Failed to rename ' + tmpPath + ' to ' + outPath |