diff options
| -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) | ||
