diff options
| -rwxr-xr-x | scripts/gen-lockedsig-cache | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/gen-lockedsig-cache b/scripts/gen-lockedsig-cache index 49de74ed9b..6765891d19 100755 --- a/scripts/gen-lockedsig-cache +++ b/scripts/gen-lockedsig-cache @@ -62,7 +62,11 @@ for f in files: os.remove(dst) if (os.stat(src).st_dev == os.stat(destdir).st_dev): print('linking') - os.link(src, dst) + try: + os.link(src, dst) + except OSError as e: + print('hard linking failed, copying') + shutil.copyfile(src, dst) else: print('copying') shutil.copyfile(src, dst) |