diff options
Diffstat (limited to 'scripts/gen-lockedsig-cache')
-rwxr-xr-x | scripts/gen-lockedsig-cache | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/scripts/gen-lockedsig-cache b/scripts/gen-lockedsig-cache index dfb282efd4..c93b2c0b99 100755 --- a/scripts/gen-lockedsig-cache +++ b/scripts/gen-lockedsig-cache | |||
@@ -35,6 +35,12 @@ for s in sigs: | |||
35 | 35 | ||
36 | for f in files: | 36 | for f in files: |
37 | dst = f.replace(sys.argv[2], sys.argv[3]) | 37 | dst = f.replace(sys.argv[2], sys.argv[3]) |
38 | mkdir(os.path.dirname(dst)) | 38 | destdir = os.path.dirname(dst) |
39 | os.link(f, dst) | 39 | mkdir(destdir) |
40 | 40 | ||
41 | if os.path.exists(dst): | ||
42 | os.remove(dst) | ||
43 | if (os.stat(f).st_dev == os.stat(destdir).st_dev): | ||
44 | os.link(f, dst) | ||
45 | else: | ||
46 | shutil.copyfile(f, dst) | ||