commit | 2ff10561bd71c1539359adc37be9fbc2c508d856 | [log] [tgz] |
---|---|---|
author | Davide Pesavento <davidepesa@gmail.com> | Sun Feb 19 20:14:06 2023 -0500 |
committer | Davide Pesavento <davidepesa@gmail.com> | Sun Feb 19 20:14:06 2023 -0500 |
tree | 12f61e8cd86cf646cedbfcc09edb7f8b1d2ce234 | |
parent | 85601037ef3379b53b972201d197de1e365dd01f [diff] [blame] |
build: switch source archive to xz compression Mention gerrit in the README Change-Id: I468cedde1a15f760aef00ac2995dd5f73728b89e
diff --git a/wscript b/wscript index fd0320f..8d46c71 100644 --- a/wscript +++ b/wscript
@@ -177,7 +177,9 @@ Logs.warn('%s is not writable (%s)' % (versionFile, e.strerror)) def dist(ctx): + ctx.algo = 'tar.xz' version(ctx) def distcheck(ctx): + ctx.algo = 'tar.xz' version(ctx)