From 22440b7644c9ff90610cb5db3dfcaf931aff34af Mon Sep 17 00:00:00 2001
From: Jack Lloyd <jack@randombit.net>
Date: Thu, 30 May 2019 09:26:22 -0400
Subject: [PATCH] Change default output of dist.py to tar.xz

GH #1872
---
 src/scripts/dist.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/dist.py b/src/scripts/dist.py
index 376e1e92702..ae894a74dfb 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',