diff options
Diffstat (limited to 'scripts/build_plugin.py')
| -rwxr-xr-x | scripts/build_plugin.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/build_plugin.py b/scripts/build_plugin.py index 9355919e955..0de2a3949d6 100755 --- a/scripts/build_plugin.py +++ b/scripts/build_plugin.py @@ -149,7 +149,10 @@ def package(args, paths): common.check_print_call(command + [paths.install]) # use -mf=off to avoid usage of the ARM executable compression filter, # which cannot be extracted by p7zip - zip = ['7z', 'a', '-mmt' + args.zip_threads, '-mf=off'] + # use -snl to preserve symlinks even if their target doesn't exist + # which is important for the _dev package on Linux + # (only works with official/upstream 7zip) + zip = ['7z', 'a', '-mmt' + args.zip_threads, '-mf=off', '-snl'] common.check_print_call(zip + [os.path.join(paths.result, args.name + '.7z'), '*'], paths.install) if os.path.exists(paths.dev_install): # some plugins might not provide anything in Devel |