diff options
Diffstat (limited to 'build_files')
-rwxr-xr-x | build_files/package_spec/build_archive.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build_files/package_spec/build_archive.py b/build_files/package_spec/build_archive.py index 58a970bca31..754bb8cd402 100755 --- a/build_files/package_spec/build_archive.py +++ b/build_files/package_spec/build_archive.py @@ -49,11 +49,14 @@ try: if not os.path.exists(output_dir): os.mkdir(output_dir) + archive_env = os.environ.copy() + if extension == 'zip': archive_cmd = ['zip', '-9', '-r', package_archive, package_dir] elif extension == 'tar.xz': archive_cmd = ['tar', '-cf', package_archive, '--owner=0', '--group=0', - '--use-compress-program=xz -9', package_dir] + '--use-compress-program=xz', package_dir] + archive_env['XZ_OPT'] = '-9' else: sys.stderr.write('Unknown archive extension: ' + extension) sys.exit(-1) |