diff options
| author | Jack Lloyd <[email protected]> | 2019-05-30 09:26:22 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2019-05-30 12:05:20 -0400 |
| commit | 22440b7644c9ff90610cb5db3dfcaf931aff34af (patch) | |
| tree | d1e564c0bad565df785fc2f8f542b6a51b843ad5 /src/scripts/dist.py | |
| parent | ce06d5ef7bbe08ae6716cc2df10ede33154ad4d8 (diff) | |
Change default output of dist.py to tar.xz
GH #1872
Diffstat (limited to 'src/scripts/dist.py')
| -rwxr-xr-x | src/scripts/dist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/dist.py b/src/scripts/dist.py index 376e1e927..ae894a74d 100755 --- a/src/scripts/dist.py +++ b/src/scripts/dist.py @@ -136,7 +136,7 @@ def parse_args(args): parser.add_option('--print-output-names', action='store_true', help='Print output archive filenames to stdout') - parser.add_option('--archive-types', metavar='LIST', default='tgz', + parser.add_option('--archive-types', metavar='LIST', default='txz', help='Set archive types to generate (default %default)') parser.add_option('--pgp-key-id', metavar='KEYID', |